Generated ml files added.

[helm.git] / helm / gTopLevel / .cvsignore

diff --git a/helm/gTopLevel/.cvsignore b/helm/gTopLevel/.cvsignore
index 59f31a4b6caeeed71098a54dbb0604cd73501f6a..3d496b73a7ef72a89571f25f006ec27c2615c990 100644 (file)
--- 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