]> matita.cs.unibo.it Git - helm.git/commit
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
tree21846b474b77ecbc3016c2cbcccfacd2fbc95d20
parent5a666b3edf51534f2f41f4bd27e6678ed5a05340
added dep on 'http' module
helm/hbugs/meta/META.hbugs-common.in