X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Focaml-http%2Fmt%2F.cvsignore;h=977cc04b5eb3190056f71c97ed34f0d13b70809f;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=c0404dd2a774a35a61f958028e194076de58465a;hpb=6f072a6856b9e27327e34a4babfbdaf59218cd7d;p=helm.git

diff --git a/helm/DEVEL/ocaml-http/mt/.cvsignore b/helm/DEVEL/ocaml-http/mt/.cvsignore
index c0404dd2a..977cc04b5 100644
--- a/helm/DEVEL/ocaml-http/mt/.cvsignore
+++ b/helm/DEVEL/ocaml-http/mt/.cvsignore
@@ -3,3 +3,4 @@
 *.cmx
 *.cma
 *.cmxa
+*.mli