From: drl7x <drl7x>
Date: Wed, 9 Jan 2002 11:43:57 +0000 (+0000)
Subject: Added some flags to the manual.
X-Git-Tag: splint-3_0_1_2~12
X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/commitdiff_plain/dc299272a590676d0c850ff2f1a31adc267b1ee1

Added some flags to the manual.
---

diff --git a/doc/manual.doc b/doc/manual.doc
index d4533a8..f9166fc 100644
Binary files a/doc/manual.doc and b/doc/manual.doc differ