]> matita.cs.unibo.it Git - helm.git/commit
ignore comments and blank line in servers file
authorStefano Zacchiroli <zack@upsilon.cc>
Mon, 7 Apr 2003 15:58:38 +0000 (15:58 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Mon, 7 Apr 2003 15:58:38 +0000 (15:58 +0000)
commitcf78c8f8227bebbcaa6d6e2c51b26661c3dbfccf
tree54f67c65fffecbfe5f4c81d95ce6203e0ae0fabb
parentcc40c18845dcd9b0bc3264b82940091b26ca53ff
ignore comments and blank line in servers file
helm/http_getter/ChangeLog
helm/http_getter/http_getter_env.ml