]> matita.cs.unibo.it Git - helm.git/commit
- added var SEARCH_ENGINE_PORT
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 22 Nov 2002 13:46:41 +0000 (13:46 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 22 Nov 2002 13:46:41 +0000 (13:46 +0000)
commitff8034c074f571e60f393402ac4faef9dd572922
tree125798a4234a60734b548944fc7d82bdde559b16
parent0a84547a2daf113ae28439c504e2733425e2b762
- added var SEARCH_ENGINE_PORT
helm/scripts/template.cshrc
helm/scripts/template.rc