X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/4fab1d8aadad5dcf9d016c8f99655a7abab65845..9f618ec5944075a7cf67408b2e87110b00e443da:/doc/manual.doc

diff --git a/doc/manual.doc b/doc/manual.doc
index 8fc9c30..891b6c0 100644
Binary files a/doc/manual.doc and b/doc/manual.doc differ