From: drl7x <drl7x>
Date: Thu, 17 Jan 2002 11:48:39 +0000 (+0000)
Subject: Added some additonal flag descriptions to the manual.
X-Git-Tag: splint-3_0_1_4~9
X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/commitdiff_plain/6a16a15668f5f81131f7358f2e345645c6303d77

Added some additonal flag descriptions to the manual.
---

diff --git a/doc/manual.doc b/doc/manual.doc
index c873b6c..88125c2 100644
Binary files a/doc/manual.doc and b/doc/manual.doc differ