]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3a72a2d) | patch
added sample entry for environment_dump configuration variable
authorStefano Zacchiroli <zack@upsilon.cc>
Sun, 24 Apr 2005 13:44:40 +0000 (13:44 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Sun, 24 Apr 2005 13:44:40 +0000 (13:44 +0000)
commitc6152ae37c7d2acb6b0f79a50dc64159308b980a
tree3f66d4b7ece27724495c27542c983782a21f4676tree | snapshot
parent3a72a2de22d5355a7d39e8774d5bb77704bbbe75commit | diff
added sample entry for environment_dump configuration variable
helm/searchEngine/searchEngine.conf.xml.sample diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.