X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/6d43e86c47a9417dc3d577244ab526c126d4b4e4..0c82d9b1f80463b5f6a4183a60bc8a2d4edacf0a:/doc/manual.doc

diff --git a/doc/manual.doc b/doc/manual.doc
index d488dfa..0eaeb5a 100644
Binary files a/doc/manual.doc and b/doc/manual.doc differ