]> andersk Git - splint.git/commitdiff
andersk / splint.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: ed62d3f)
Updated the manual.
authordrl7x <drl7x>
Sun, 27 Apr 2003 22:27:36 +0000 (22:27 +0000)
committerdrl7x <drl7x>
Sun, 27 Apr 2003 22:27:36 +0000 (22:27 +0000)
All flags supported by Splint are now listed.  Also I fixed the section on numabstact types.

doc/manual.doc patch | blob | blame | history

diff --git a/doc/manual.doc b/doc/manual.doc
index 419e2fe8be8d80ee7f3817838109859d9ea79db4..891b6c011e60df0119c110bbfcfc6b813c472ded 100644 (file)
Binary files a/doc/manual.doc and b/doc/manual.doc differ
git-cvsimport mirror of splint
This page took 0.04801 seconds and 5 git commands to generate.