]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3988c8a) | patch
- switched to automake based built
authorStefano Zacchiroli <zack@upsilon.cc>
Mon, 9 Dec 2002 11:08:51 +0000 (11:08 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Mon, 9 Dec 2002 11:08:51 +0000 (11:08 +0000)
commitf7577be5c39d197f4d92d932f47f413eccf0335d
treeaf5d4d89676e9a98c24ccfdd3f1f131046a42172tree | snapshot
parent3988c8a7a832bec3b1f6b1675b96337deb64e65ecommit | diff
- switched to automake based built
helm/DEVEL/gdome_xslt/ocaml/test/.cvsignore diff | blob | history
helm/DEVEL/gdome_xslt/ocaml/test/META.gdome2-xslt [deleted file] blob | history
helm/DEVEL/gdome_xslt/ocaml/test/Makefile.am [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.