Remove Intel reference manuals.

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

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