andersk Git - splint.git/commit

]> andersk Git - splint.git/commit

Fixed make file so that pristine gets rid of more generated files.
Removed some generated files from cvs tree.

14 files changed:

src/Headers/cgrammar_tokens.h	[deleted file]	blob \| blame \| history
src/Headers/constraintTermn.h	[deleted file]	blob \| blame \| history
src/Headers/herald.last		diff \| blob \| blame \| history
src/Headers/llgrammar_gen.h	[deleted file]	blob \| blame \| history
src/Headers/llgrammar_gen2.h	[deleted file]	blob \| blame \| history
src/Headers/signature_gen.h	[deleted file]	blob \| blame \| history
src/Makefile		diff \| blob \| blame \| history
src/lex.yy.c	[deleted file]	blob \| blame \| history
src/llgrammar.c	[deleted file]	blob \| blame \| history
src/llgrammar.tab.c	[deleted file]	blob \| blame \| history
src/llgrammar.tab.h	[deleted file]	blob \| blame \| history
src/signature.c	[deleted file]	blob \| blame \| history
src/signature.tab.c	[deleted file]	blob \| blame \| history
src/signature.tab.h	[deleted file]	blob \| blame \| history

git-cvsimport mirror of splint

This page took 0.05469 seconds and 5 git commands to generate.