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

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