From: drl7x <drl7x>
Date: Mon, 28 Apr 2003 19:02:16 +0000 (+0000)
Subject: Added the manual pdf to CVS.
X-Git-Tag: splint-3_1_1~7
X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/commitdiff_plain/fcb35d9cb4b9225dd2ab9c1f7167454a5977b948

Added the manual pdf to CVS.
---

diff --git a/doc/manual.doc b/doc/manual.doc
index 891b6c0..d488dfa 100644
Binary files a/doc/manual.doc and b/doc/manual.doc differ
diff --git a/doc/manual.pdf b/doc/manual.pdf
new file mode 100755
index 0000000..342fd8c
Binary files /dev/null and b/doc/manual.pdf differ