From de9aae3754cc79baadb00d62a6433579d621e301 Mon Sep 17 00:00:00 2001
From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Fri, 6 Feb 2004 12:25:11 +0000
Subject: [PATCH] ignore .debug_script (used by Makefile's debug target)

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

diff --git a/helm/gTopLevel/.cvsignore b/helm/gTopLevel/.cvsignore
index ea4665c4b..09c78cec5 100644
--- a/helm/gTopLevel/.cvsignore
+++ b/helm/gTopLevel/.cvsignore
@@ -6,3 +6,4 @@ styles stylesheets meta_stylesheets
 chosenTermEditor.ml
 chosenTransformer.ml
 disambiguatingParser.ml
+.debug_script
-- 
2.39.2