]> matita.cs.unibo.it Git - helm.git/commit - helm/interface/configure.in
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e2c8cd7) | patch
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
tree5ad6fc3e47d9520c22c9ce696bdf58bdeb2667ebtree | snapshot
parente2c8cd79f8019ce9f093a601d2410633aacae69bcommit | diff
helm_wget is now executable
helm/interface/configure.in diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.