From 2c5af22e78c6cec8df3f8681558e2a0eee4ff6b6 Mon Sep 17 00:00:00 2001
From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Wed, 23 Apr 2003 12:35:39 +0000
Subject: [PATCH] patch

---
 helm/hbugs/tutors/.cvsignore | 1 +
 1 file changed, 1 insertion(+)

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