]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7143764) | patch
read uri from cmdline
authorStefano Zacchiroli <zack@upsilon.cc>
Tue, 18 Jan 2005 18:18:35 +0000 (18:18 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Tue, 18 Jan 2005 18:18:35 +0000 (18:18 +0000)
commit335af9d8489d1a9824d35f1582758732c4ee7a14
treeef41b065173827ba585b8dc67b6ca6bc73aa456ctree | snapshot
parent714376413f68dad720d6253b1f36209d8d096443commit | diff
read uri from cmdline
helm/ocaml/getter/test.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.