Remove Intel reference manuals.

[pintos-anon] / specs / ia32-v2b.pdf

diff --git a/specs/ia32-v2b.pdf b/specs/ia32-v2b.pdf
deleted file mode 100644 (file)
index 0861eb1..0000000
Binary files a/specs/ia32-v2b.pdf and /dev/null differ