1 files changed, 5 insertions, 0 deletions

diff --git a/ide/.cvsignore b/ide/.cvsignore
new file mode 100644
index 000000000..98975db80
--- /dev/null
+++ b/ide/.cvsignore
@@ -0,0 +1,5 @@
+lexer.ml
+why_viewer
+.depend
+find_phrase.ml
+highlight.ml