]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d5b03d9) | patch
Unuseful file removed
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 31 Oct 2000 16:44:59 +0000 (16:44 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 31 Oct 2000 16:44:59 +0000 (16:44 +0000)
commitb6d87fa91c746c73c9acc1f5f0746b1cb00d5bda
tree8d8e2c27729db939cb8d2aead77d6586910e61f5tree | snapshot
parentd5b03d93d8b9f579ca165502de9017795453d2f5commit | diff
Unuseful file removed
helm/interface/http_getter/http_getter.pl2 [deleted file] blob | history
Unnamed repository; edit this file 'description' to name the repository.