From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Fri, 6 Dec 2002 17:53:05 +0000 (+0000)
Subject: - added *.mli
X-Git-Tag: v0_3_99~165
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=2dca3a6bf53dff0f5afa330cf26127cb1f026a63;p=helm.git

- added *.mli
---

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
diff --git a/helm/DEVEL/ocaml-http/non_mt/.cvsignore b/helm/DEVEL/ocaml-http/non_mt/.cvsignore
index c0404dd2a..977cc04b5 100644
--- a/helm/DEVEL/ocaml-http/non_mt/.cvsignore
+++ b/helm/DEVEL/ocaml-http/non_mt/.cvsignore
@@ -3,3 +3,4 @@
 *.cmx
 *.cma
 *.cmxa
+*.mli