]> andersk Git - splint.git/commit
andersk / splint.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1fe3807) | patch
Fixed bug causing Splint is suggest using the +ignoresigns flag even if it was alread...
authordrl7x <drl7x>
Mon, 28 Apr 2003 00:25:13 +0000 (00:25 +0000)
committerdrl7x <drl7x>
Mon, 28 Apr 2003 00:25:13 +0000 (00:25 +0000)
commit9f618ec5944075a7cf67408b2e87110b00e443da
treee4666949a974c8a9f45c8ca8f06f2aaac97373a7tree
parent1fe380758e91c3ec4dec7ace74398ab6ff520039commit | diff
Fixed bug causing Splint is suggest using the +ignoresigns flag even if it was already being used.

(Bug for reported by John Regehr )
src/llerror.c diff | blob | blame | history
git-cvsimport mirror of splint
This page took 0.047882 seconds and 5 git commands to generate.