]> andersk Git - splint.git/commit
andersk / splint.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 39888ce) | patch
This file is updated. And is no longer used to determine Splint's version number.
authordrl7x <drl7x>
Tue, 10 Dec 2002 22:06:11 +0000 (22:06 +0000)
committerdrl7x <drl7x>
Tue, 10 Dec 2002 22:06:11 +0000 (22:06 +0000)
commit19249a0f3cce28874ac9122d0b915670ce1500e4
tree7b63a854281865820431ddb330e15f826026866etree
parent39888ce39f34095d7d6886b7dc8f5115f249248ecommit | diff
This file is updated.  And is no longer used to determine Splint's version number.
(I think we're using automake stuff now.)
src/lastversion [deleted file] blob | blame | history
git-cvsimport mirror of splint
This page took 0.039329 seconds and 5 git commands to generate.