]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f5b6433) | patch
oopss, I forgot to commit .depend last time ...
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 15 Nov 2002 15:06:33 +0000 (15:06 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 15 Nov 2002 15:06:33 +0000 (15:06 +0000)
commitfe54cc94f511222c8d10b1492f9fe1384d277a51
tree9acf97a82409fc835f288e9eb3d397140087fcb3tree | snapshot
parentf5b64337026ab6c98b33583ea85d0ab5d1410966commit | diff
oopss, I forgot to commit .depend last time ...
helm/DEVEL/ocaml-http/.depend diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.