From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Tue, 10 May 2005 10:59:45 +0000 (+0000)
Subject: ignores test and test.opt
X-Git-Tag: single_binding~88
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=8ddcd543d4e9c5aee9d1b373bd9dd7b126f27798;p=helm.git

ignores test and test.opt
---

diff --git a/helm/ocaml/cic/.cvsignore b/helm/ocaml/cic/.cvsignore
index 6b3eba302..fa6ba7b5b 100644
--- a/helm/ocaml/cic/.cvsignore
+++ b/helm/ocaml/cic/.cvsignore
@@ -1 +1,4 @@
-*.cm[iaox] *.cmxa
+*.cm[iaox]
+*.cmxa
+test
+test.opt