]> andersk Git - splint.git/commit
andersk / splint.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a8a71ab) | patch
Fixed problem with make dist so that packages can be made and distributed.
authordrl7x <drl7x>
Sun, 8 Dec 2002 23:18:02 +0000 (23:18 +0000)
committerdrl7x <drl7x>
Sun, 8 Dec 2002 23:18:02 +0000 (23:18 +0000)
commit40fabe2650105c5ada4d352bdd15ebbb701c5693
tree5a7521c383c6393e17aaa561136fb5d235fd42batree
parenta8a71ab5a9c648536813c7a132209dd8bd3681f1commit | diff
Fixed problem with make dist so that packages can be made and distributed.

Commented out the sizesigns test case because the files for it were not in CVS.
src/Makefile.am diff | blob | blame | history
src/Makefile.in diff | blob | blame | history
test/Makefile.am diff | blob | blame | history
test/Makefile.in diff | blob | blame | history
git-cvsimport mirror of splint
This page took 6.576086 seconds and 5 git commands to generate.