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

added Makefile Makefile.in and .deps
---

diff --git a/helm/DEVEL/gdome_xslt/C/gdome_xslt/.cvsignore b/helm/DEVEL/gdome_xslt/C/gdome_xslt/.cvsignore
index 9bcdefdcb..572cf3ae5 100644
--- a/helm/DEVEL/gdome_xslt/C/gdome_xslt/.cvsignore
+++ b/helm/DEVEL/gdome_xslt/C/gdome_xslt/.cvsignore
@@ -1 +1,4 @@
 gdome_xslt.o
+Makefile
+Makefile.in
+.deps