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

diff --git a/helm/DEVEL/ocaml-http/.cvsignore b/helm/DEVEL/ocaml-http/.cvsignore
index fd405f9e4..c0404dd2a 100644
--- a/helm/DEVEL/ocaml-http/.cvsignore
+++ b/helm/DEVEL/ocaml-http/.cvsignore
@@ -2,3 +2,4 @@
 *.cmo
 *.cmx
 *.cma
+*.cmxa