]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d4f4ce0) | patch
changed name to gdome2-xslt
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 12 Apr 2002 13:39:14 +0000 (13:39 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 12 Apr 2002 13:39:14 +0000 (13:39 +0000)
commit76ea26dc67066892814d0f3ea334ec3031ef0378
tree64b5c070d1a6f6feaa0d27c0a911cd107e73a40btree | snapshot
parentd4f4ce0a295aabd6a4b52620035447169effe23dcommit | diff
changed name to gdome2-xslt
helm/DEVEL/gdome_xslt/ocaml/test/Makefile diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.