]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0167f31) | patch
"thin" version of the configuration file (exploits default values and
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 4 Feb 2005 14:03:03 +0000 (14:03 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 4 Feb 2005 14:03:03 +0000 (14:03 +0000)
commit0acdfae860f652fd2f0cf2abeb6dd304f92b17e5
tree14eec0cebf54abe773e52d4b9e07569b44d3872atree | snapshot
parent0167f31845a56f4e1eda4035299d878b203fc633commit | diff
"thin" version of the configuration file (exploits default values and
new configuration parameters like maps_dir and cache_dir)
helm/http_getter/http_getter.conf.xml.sample diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.