From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Sun, 5 Jan 2003 14:06:53 +0000 (+0000)
Subject: - added *.o *.a *.deb
X-Git-Tag: v0_3_99~98
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=f5c4a559776942f9a693f1c8858efa65e400a2e4;p=helm.git

- added *.o *.a *.deb
---

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