]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e4854e5) | patch
- removed some ':'s
authorStefano Zacchiroli <zack@upsilon.cc>
Sun, 1 Dec 2002 17:20:31 +0000 (17:20 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Sun, 1 Dec 2002 17:20:31 +0000 (17:20 +0000)
commit806d9e4866ba9af855594113627aafb2ae45d164
tree7088e95a08503974606fc1a96d99eede04bb63f4tree | snapshot
parente4854e5669f352c799f62f93fc034ed2ca07f58ccommit | diff
- removed some ':'s
helm/DEVEL/ocaml-http/debian/changelog diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.