X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=blobdiff_plain;f=specs%2Fpci-ide.pdf;fp=specs%2Fpci-ide.pdf;h=0000000000000000000000000000000000000000;hp=b0080ab0116847e587a2a7e7de5266e884a57681;hb=2b1453c777080da8a1670dc8d8adf60f616f63ae;hpb=8409cd79729c2c65e5bf308baa076703e2cf6fb3

diff --git a/specs/pci-ide.pdf b/specs/pci-ide.pdf
deleted file mode 100644
index b0080ab..0000000
Binary files a/specs/pci-ide.pdf and /dev/null differ