]> andersk Git - splint.git/commitdiff
Add an ignore file for generated files.
authorbpringlemeir <bpringlemeir>
Wed, 30 Sep 2009 20:42:39 +0000 (20:42 +0000)
committerbpringlemeir <bpringlemeir>
Wed, 30 Sep 2009 20:42:39 +0000 (20:42 +0000)
src/.cvsignore [new file with mode: 0644]

diff --git a/src/.cvsignore b/src/.cvsignore
new file mode 100644 (file)
index 0000000..df0cef5
--- /dev/null
@@ -0,0 +1,10 @@
+*.out
+*.output
+splint
+.deps
+Makefile
+cgrammar.c
+cscanner.c
+lex.yy.c
+llgrammar.c
+signature.c
This page took 0.051148 seconds and 5 git commands to generate.