From ccaa6ca0cfe6bf076d9db8896997407c7e85ae6d Mon Sep 17 00:00:00 2001
From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Tue, 31 Oct 2000 14:37:54 +0000
Subject: [PATCH] .cvsignore created

---
 helm/interface/.cvsignore | 3 +++
 1 file changed, 3 insertions(+)
 create mode 100644 helm/interface/.cvsignore

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
-- 
2.39.2