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

diff --git a/doc/manual.doc b/doc/manual.doc
index db139fe..e9f9daa 100644
Binary files a/doc/manual.doc and b/doc/manual.doc differ