new experimental cic textual parser: checkin

[helm.git] / helm / ocaml / cic_disambiguation / .cvsignore

diff --git a/helm/ocaml/cic_disambiguation/.cvsignore b/helm/ocaml/cic_disambiguation/.cvsignore
new file mode 100644 (file)
index 0000000..b94ae04
--- /dev/null
+++ b/helm/ocaml/cic_disambiguation/.cvsignore
@@ -0,0 +1,7 @@
+*.cma
+*.cmo
+*.cmi
+*.cmx
+*.cmxa
+test_lexer
+test_parser