]> matita.cs.unibo.it Git - helm.git/commit
removed out of date configuration file
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 1 Apr 2004 10:14:46 +0000 (10:14 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 1 Apr 2004 10:14:46 +0000 (10:14 +0000)
commitb686d3fc124a300a3beaceccd8603fdfd220c1de
treeb79cc7a3cf9a08a4e08b991e1917d07a60b13d8f
parent9b676d1df6d16c95e2b227c4ae0e353f6e2a308a
removed out of date configuration file
helm/http_getter/doc/http_getter.conf.xml.sample [deleted file]