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

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