]> matita.cs.unibo.it Git - helm.git/commit
bug: HELM_VAR_DIR ==> HELM_LIBRARY_DIR
authorLuca Padovani <luca.padovani@unito.it>
Tue, 6 Feb 2001 11:02:04 +0000 (11:02 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Tue, 6 Feb 2001 11:02:04 +0000 (11:02 +0000)
commit2378743c683840a9d34ca86762a993e6fe6cedfb
treec36650e7d04fcad87f57794e72b7e82100429352
parentcb3ca6b4df4d872e7bab66beb3f61358d3f9157d
bug: HELM_VAR_DIR ==> HELM_LIBRARY_DIR
helm/configuration/etc/configuration.xml.in