]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/gdome_xslt/ocaml/gdome_xslt/.cvsignore
ocaml 3.09 transition
[helm.git] / helm / DEVEL / gdome_xslt / ocaml / gdome_xslt / .cvsignore
index 5b31626e47344de706bd678cbbfe2b1084e63e1d..68ade6c1282d3a6a2e9644ea4020f90642009fd5 100644 (file)
@@ -1,14 +1,15 @@
 META
 Makefile
+Makefile.in
 config.cache
 config.log
 config.status
 configure
-gdome_xslt.cma
+gdome2-xslt.cma
 gdome_xslt.cmi
 gdome_xslt.cmo
 gdome_xslt.cmx
-gdome_xslt.cmxa
+gdome2-xslt.cmxa
 gdome_xslt.o
 gdome_xslt_init.cmi
 gdome_xslt_init.cmo
@@ -19,3 +20,4 @@ i_gdome_xslt.cmo
 i_gdome_xslt.cmx
 i_gdome_xslt.o
 ml_gdome_xslt.o
+.deps