From: drl7x <drl7x>
Date: Wed, 27 Feb 2002 23:02:08 +0000 (+0000)
Subject: *** empty log message ***
X-Git-Tag: splint-3_1_0~142
X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/commitdiff_plain/8dd8a22bf3ad37c2acdc5efaded231062c763e3b

*** empty log message ***
---

diff --git a/doc/guide.doc b/doc/guide.doc
deleted file mode 100755
index 667c9c0..0000000
Binary files a/doc/guide.doc and /dev/null differ