X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/00e1df75b4256162690f8247db67375da80e38b2..c09ebffeb5fc8d2c644fa818f3510a6300340725:/doc/manual.pdf

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