]> andersk Git - splint.git/commit
Fixed emptyret flag problem. ("emptyreturn" -> "emptyret" in flags.def)
authorevans1629 <evans1629>
Mon, 8 Jul 2002 19:05:38 +0000 (19:05 +0000)
committerevans1629 <evans1629>
Mon, 8 Jul 2002 19:05:38 +0000 (19:05 +0000)
commit1d1a809746837404ac07717ed1b0649e87d9ec8e
tree2d4f2f360f0010668b67e98d94c4d8de6d13a3ec
parentf9264521e093e570a8831d5238ccc3bc20e01119
Fixed emptyret flag problem.  ("emptyreturn" -> "emptyret" in flags.def)
src/flags.def
This page took 0.052162 seconds and 5 git commands to generate.