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

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