]> matita.cs.unibo.it Git - helm.git/commit
mywget => helm_wget
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 28 Dec 2000 17:53:54 +0000 (17:53 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 28 Dec 2000 17:53:54 +0000 (17:53 +0000)
commite2c8cd79f8019ce9f093a601d2410633aacae69b
tree61d06dc63c13df933e9098d25ebc171ca930da38
parent274cfc6d7faa3c8bbeaac47fc48365128f01c5bb
mywget => helm_wget
helm/interface/helm_wget.in