X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2F.cvsignore;fp=helm%2Focaml%2F.cvsignore;h=bc349f4517294f3adf5522e7cd412b8f9854a1ab;hb=aea79f1d6ccdec690221166bc2f464fae52a109e;hp=42fae1139dc0e74835cafb0ea88fcd7d0843de07;hpb=cd5aa8d01a0f2db4bf19ce6d5e7a2c7a411438a9;p=helm.git

diff --git a/helm/ocaml/.cvsignore b/helm/ocaml/.cvsignore
index 42fae1139..bc349f451 100644
--- a/helm/ocaml/.cvsignore
+++ b/helm/ocaml/.cvsignore
@@ -22,3 +22,5 @@ config.cache
 config.log
 config.status
 configure
+libraries.ps
+.dep.dot