X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_notation%2F.cvsignore;fp=helm%2Focaml%2Fcic_notation%2F.cvsignore;h=0000000000000000000000000000000000000000;hb=9a0e4f3be9f70662f18d2d3b6dd60ae79fba565b;hp=45ec2c22f06e622c937d849764648b4aa73f6da7;hpb=f59550b5a9cdddbb348697201fae7d736d6b96c5;p=helm.git

diff --git a/helm/ocaml/cic_notation/.cvsignore b/helm/ocaml/cic_notation/.cvsignore
deleted file mode 100644
index 45ec2c22f..000000000
--- a/helm/ocaml/cic_notation/.cvsignore
+++ /dev/null
@@ -1,7 +0,0 @@
-*.cm[aiox]
-*.cmxa
-*.[ao]
-test_lexer
-test_parser
-test_dep
-print_grammar