]> matita.cs.unibo.it Git - helm.git/commit
- embedded configuration information in help string
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 12 Mar 2003 18:01:04 +0000 (18:01 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 12 Mar 2003 18:01:04 +0000 (18:01 +0000)
commit43a3eec39d99d06464d2d1990e07584b369e464f
treeb04278b3f1270fb467f3b36695c411cb9e7322aa
parentade82a2efdd5545a8fd457aba9a7d2a7ca7652c8
- embedded configuration information in help string
- bumped version to 0.2.1
helm/http_getter/http_getter_const.ml
helm/http_getter/http_getter_const.mli