Huge reorganization of matita and ocaml.

[helm.git] / helm / ocaml / .cvsignore

diff --git a/helm/ocaml/.cvsignore b/helm/ocaml/.cvsignore
index 4c1a00d01ada5c1fcfb07b479e5b88036ab1dd59..391243bb0ab39ef1bd3cc0aaff749354a924bcee 100644 (file)
--- a/helm/ocaml/.cvsignore
+++ b/helm/ocaml/.cvsignore
@@ -9,3 +9,7 @@ libraries.ps
 libraries-complete.ps
 .dep.dot
 .alldep.dot
+.clustersdep.dot
+.extdep.dot
+libraries-clusters.ps
+libraries-ext.ps