]> matita.cs.unibo.it Git - helm.git/commit
helm_wget is now executable
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 28 Dec 2000 17:54:29 +0000 (17:54 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 28 Dec 2000 17:54:29 +0000 (17:54 +0000)
commit047a1a225d177be66e9f8e8d635332b92828e9d7
tree5ad6fc3e47d9520c22c9ce696bdf58bdeb2667eb
parente2c8cd79f8019ce9f093a601d2410633aacae69b
helm_wget is now executable
helm/interface/configure.in