X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/e0a05ba95145c0c1714b0c9a3e7eaf91a8ffc33b..10fac4bc6190bcda80bf75e7267cb456e5a8b772:/doc/manual.doc

diff --git a/doc/manual.doc b/doc/manual.doc
index aa37b38..76d469b 100644
Binary files a/doc/manual.doc and b/doc/manual.doc differ