X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/7c080eade639d7a6be478159025ca125e2d3ee06..e78d7af83925eefb75e35d26188e396fe8966e12:/doc/manual.doc

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