From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Wed, 8 Jan 2003 10:31:09 +0000 (+0000)
Subject: rebuilt for ocaml stuff
X-Git-Tag: v0_3_99~69
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=9727171c53f7464ef198972ed26d8a1822bba3f6;p=helm.git

rebuilt for ocaml stuff
---

diff --git a/helm/http_getter/.cvsignore b/helm/http_getter/.cvsignore
index f40ca5e60..a144df60b 100644
--- a/helm/http_getter/.cvsignore
+++ b/helm/http_getter/.cvsignore
@@ -1,9 +1,9 @@
-configure config.log config.cache config.status http_getter.pl helm_http_getter.spec
 *.cmi
 *.cmo
 *.cma
 *.cmx
-*.o
+*.cmxa
 *.a
+*.o
 http_getter
 http_getter.opt