X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Focaml-http%2F.cvsignore;h=391f4f58e75e227f8cd81b95bb00e914bf98e4c6;hb=97c2d258a5c524eb5c4b85208899d80751a2c82f;hp=fd405f9e4d0b5705f87c1b4c864d6ca37933e1f6;hpb=d122b195b5cbbd6ab33fe5bc43d22c79b9210a49;p=helm.git

diff --git a/helm/DEVEL/ocaml-http/.cvsignore b/helm/DEVEL/ocaml-http/.cvsignore
index fd405f9e4..391f4f58e 100644
--- a/helm/DEVEL/ocaml-http/.cvsignore
+++ b/helm/DEVEL/ocaml-http/.cvsignore
@@ -2,3 +2,7 @@
 *.cmo
 *.cmx
 *.cma
+*.cmxa
+*.o
+*.a
+*.deb