]> matita.cs.unibo.it Git - helm.git/commit
embedded configuration infos in usage string
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 12 Mar 2003 18:02:04 +0000 (18:02 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 12 Mar 2003 18:02:04 +0000 (18:02 +0000)
commit9c4e8b582be9e83f1cef8eeb31bde1af907b195e
treee1d2b712db3420fe61727c344fa34b7f3c69e6fc
parentbcb3a166855c11d57aee0130df8f666c9db303ec
embedded configuration infos in usage string
helm/http_getter/http_getter.ml