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

diff --git a/doc/manual.pdf b/doc/manual.pdf
index 342fd8c..5d14c02 100755
Binary files a/doc/manual.pdf and b/doc/manual.pdf differ