]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5a666b3) | patch
added dep on 'http' module
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 10 Jan 2003 09:10:47 +0000 (09:10 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 10 Jan 2003 09:10:47 +0000 (09:10 +0000)
commite626ecd39f74b7a9846b9eed28aeb44f061b61b1
tree21846b474b77ecbc3016c2cbcccfacd2fbc95d20tree | snapshot
parent5a666b3edf51534f2f41f4bd27e6678ed5a05340commit | diff
added dep on 'http' module
helm/hbugs/meta/META.hbugs-common.in diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.