]> matita.cs.unibo.it Git - helm.git/commit
added list_servers, {add,remove}_server methods to usage string
authorStefano Zacchiroli <zack@upsilon.cc>
Mon, 7 Apr 2003 15:26:42 +0000 (15:26 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Mon, 7 Apr 2003 15:26:42 +0000 (15:26 +0000)
commitad74e128b9d3b8b3aaaa860fa4f5ef089cf742cf
tree4d0857ef37bbcb18b88fae8973e4ed08ec0312ee
parent0dfd63ee1df63c155e760d8773dab4b8cc7e4721
added list_servers, {add,remove}_server methods to usage string
helm/http_getter/http_getter_const.ml