This commit was manufactured by cvs2svn to create branch

[helm.git] / helm / graphs / tools / simplify_deps / .cvsignore

diff --git a/helm/graphs/tools/simplify_deps/.cvsignore b/helm/graphs/tools/simplify_deps/.cvsignore
deleted file mode 100644 (file)
index 51af834..0000000
--- a/helm/graphs/tools/simplify_deps/.cvsignore
+++ /dev/null
@@ -1,5 +0,0 @@
-simplify_deps.cmi
-simplify_deps.cmo
-simplify_deps.cmx
-simplify_deps
-simplify_deps.opt