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

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