From 3308f73974648dc4a0a7022e6b8c6ca9a7d4d8f9 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Thu, 4 Dec 2003 16:57:50 +0000 Subject: [PATCH] ignore environments --- helm/hbugs/tutors/.cvsignore | 1 + 1 file changed, 1 insertion(+) diff --git a/helm/hbugs/tutors/.cvsignore b/helm/hbugs/tutors/.cvsignore index 4b2879962..601448cb6 100644 --- a/helm/hbugs/tutors/.cvsignore +++ b/helm/hbugs/tutors/.cvsignore @@ -1,3 +1,4 @@ +*.environment *.cmi *.cmo *.cma -- 2.39.2