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=6aa2e0cb98e2b9c2a8ce3995c3e605069754f532;hb=879797d6505bc39489009d9ae1e2506022bde9e2;hp=0000000000000000000000000000000000000000;hpb=aac382f935bc72578119fa7ff9f53c3b649dd0dd;p=helm.git

diff --git a/helm/ocaml/cic_notation/.cvsignore b/helm/ocaml/cic_notation/.cvsignore
new file mode 100644
index 000000000..6aa2e0cb9
--- /dev/null
+++ b/helm/ocaml/cic_notation/.cvsignore
@@ -0,0 +1,5 @@
+*.cm[aiox]
+*.cmxa
+*.[ao]
+test_lexer
+test_parser