From b0d0bc32d82dc8d502de68ec7c3cfffadae1b931 Mon Sep 17 00:00:00 2001
From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Mon, 26 Jan 2004 10:14:53 +0000
Subject: [PATCH] Generated ml files added.

---
 helm/gTopLevel/.cvsignore | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/helm/gTopLevel/.cvsignore b/helm/gTopLevel/.cvsignore
index 59f31a4b6..3d496b73a 100644
--- a/helm/gTopLevel/.cvsignore
+++ b/helm/gTopLevel/.cvsignore
@@ -1 +1,4 @@
 *.cm[iox] gTopLevel gTopLevel.opt styles stylesheets meta_stylesheets
+chosenTermEditor.ml
+chosenTransformer.ml
+disambiguatingParser.ml
-- 
2.39.2