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

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