From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Wed, 23 Apr 2003 12:35:39 +0000 (+0000)
Subject: patch
X-Git-Tag: before_refactoring~7
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=2c5af22e78c6cec8df3f8681558e2a0eee4ff6b6;p=helm.git

patch
---

diff --git a/helm/hbugs/tutors/.cvsignore b/helm/hbugs/tutors/.cvsignore
index 7e2e0036f..4b2879962 100644
--- a/helm/hbugs/tutors/.cvsignore
+++ b/helm/hbugs/tutors/.cvsignore
@@ -4,6 +4,7 @@
 *.cmx
 *.o
 *.a
+*.opt
 ring_tutor.ml
 fourier_tutor.ml
 reflexivity_tutor.ml