]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f7577be) | patch
switched to automake based build process
authorStefano Zacchiroli <zack@upsilon.cc>
Mon, 9 Dec 2002 11:10:31 +0000 (11:10 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Mon, 9 Dec 2002 11:10:31 +0000 (11:10 +0000)
commit4c378495e350c738cf6cb6ddd3c0e258559274ba
tree0b5e664d5a0010995bc361809f3ea118e2c0d7fetree | snapshot
parentf7577be5c39d197f4d92d932f47f413eccf0335dcommit | diff
switched to automake based build process
helm/DEVEL/gdome_xslt/ocaml/gdome_xslt/Makefile.am [new file with mode: 0644] blob
helm/DEVEL/gdome_xslt/ocaml/gdome_xslt/Makefile.in [deleted file] blob | history
helm/DEVEL/gdome_xslt/ocaml/gdome_xslt/configure.in [deleted file] blob | history
Unnamed repository; edit this file 'description' to name the repository.