X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/f6099dac655d3fc5409f54302dd3b5c1b6be6ac6..18848fb76cde4cad90e2c80efe0d162f041d0525:/doc/manual.doc

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