From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Mon, 9 Dec 2002 11:13:48 +0000 (+0000)
Subject: added Makefile.in and .deps
X-Git-Tag: v0_3_99~156
X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=commitdiff_plain;h=9f0ad5e688338a505f083538c5f6e169e7f0e5d6

added Makefile.in and .deps
---

diff --git a/helm/DEVEL/gdome_xslt/ocaml/gdome_xslt/.cvsignore b/helm/DEVEL/gdome_xslt/ocaml/gdome_xslt/.cvsignore
index 8d8b4152c..68ade6c12 100644
--- a/helm/DEVEL/gdome_xslt/ocaml/gdome_xslt/.cvsignore
+++ b/helm/DEVEL/gdome_xslt/ocaml/gdome_xslt/.cvsignore
@@ -1,5 +1,6 @@
 META
 Makefile
+Makefile.in
 config.cache
 config.log
 config.status
@@ -19,3 +20,4 @@ i_gdome_xslt.cmo
 i_gdome_xslt.cmx
 i_gdome_xslt.o
 ml_gdome_xslt.o
+.deps