]> andersk Git - splint.git/commitdiff
*** empty log message ***
authordrl7x <drl7x>
Wed, 27 Feb 2002 23:02:08 +0000 (23:02 +0000)
committerdrl7x <drl7x>
Wed, 27 Feb 2002 23:02:08 +0000 (23:02 +0000)
doc/guide.doc [deleted file]

diff --git a/doc/guide.doc b/doc/guide.doc
deleted file mode 100755 (executable)
index 667c9c0..0000000
Binary files a/doc/guide.doc and /dev/null differ
This page took 0.095196 seconds and 5 git commands to generate.