]> matita.cs.unibo.it Git - helm.git/commitdiff
added Makefile.in and .deps
authorStefano Zacchiroli <zack@upsilon.cc>
Mon, 9 Dec 2002 11:13:48 +0000 (11:13 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Mon, 9 Dec 2002 11:13:48 +0000 (11:13 +0000)
helm/DEVEL/gdome_xslt/ocaml/gdome_xslt/.cvsignore

index 8d8b4152c91a869d63845592adbda87d5a9d877e..68ade6c1282d3a6a2e9644ea4020f90642009fd5 100644 (file)
@@ -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