]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4c37849) | patch
changed archives to mlgdome2-xslt
authorStefano Zacchiroli <zack@upsilon.cc>
Mon, 9 Dec 2002 11:12:47 +0000 (11:12 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Mon, 9 Dec 2002 11:12:47 +0000 (11:12 +0000)
commit98d8b07d0303d8d2e7f26c392c5f21c6b97ee3b8
treec387b854539b0890a4ed933d5178058b9053eb2atree | snapshot
parent4c378495e350c738cf6cb6ddd3c0e258559274bacommit | diff
changed archives to mlgdome2-xslt
helm/DEVEL/gdome_xslt/ocaml/gdome_xslt/META.in diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.