]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a788036) | patch
local/etc/helm/configuration.xml: changed xmlfile -> xmluri
authorLuca Padovani <luca.padovani@unito.it>
Mon, 20 Nov 2000 10:59:28 +0000 (10:59 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Mon, 20 Nov 2000 10:59:28 +0000 (10:59 +0000)
commite6d089c9969c63882f1cd56f824caee004763d9b
tree8efe4b9751774ad246ad66ea9f31135bb396f3bdtree | snapshot
parenta788036087fcf59844506340da3fcfdf1eddf516commit | diff
local/etc/helm/configuration.xml: changed xmlfile -> xmluri
helm/configuration/local/etc/helm/configuration.xml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.