]> andersk Git - splint.git/commit
Committing Evans's update of man page to fix problems reported by ESR.
authordrl7x <drl7x>
Mon, 31 Mar 2003 18:19:38 +0000 (18:19 +0000)
committerdrl7x <drl7x>
Mon, 31 Mar 2003 18:19:38 +0000 (18:19 +0000)
commit028230a4017e67c2de99d101f97b7c2e1f21e2a8
tree3bf660302863bf998bd1f2e7a8e02cb86a25e62e
parent35b9a1d988c06908076e3a6eeae55b1147879607
Committing Evans's update of man page to fix problems reported by ESR.
doc/splint.1
This page took 0.039311 seconds and 5 git commands to generate.