From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Tue, 31 Oct 2000 14:37:54 +0000 (+0000)
Subject: .cvsignore created
X-Git-Tag: nogzip~229
X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=commitdiff_plain;h=ccaa6ca0cfe6bf076d9db8896997407c7e85ae6d

.cvsignore created
---

diff --git a/helm/interface/.cvsignore b/helm/interface/.cvsignore
new file mode 100644
index 000000000..48edf388f
--- /dev/null
+++ b/helm/interface/.cvsignore
@@ -0,0 +1,3 @@
+*.cmo
+*.cmx
+*.cmi