X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/b73d1009d4a3494951c129e49f50f8b4c795deb1..d767066b40ee6d1187273de11f2f942f8a10e1e7:/doc/manual.doc

diff --git a/doc/manual.doc b/doc/manual.doc
index 8b4b3b1..0600def 100644
Binary files a/doc/manual.doc and b/doc/manual.doc differ