]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 92ccab4) | patch
Very dangerous bug fond!!!
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 15 Nov 2000 16:13:18 +0000 (16:13 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 15 Nov 2000 16:13:18 +0000 (16:13 +0000)
commit517ec5ef7e873c8c75fa5f21f4b54e423fc21955
tree4fff0b39dad7746dec5f7810319392ba272f44ectree | snapshot
parent92ccab409fa4ec217b9334b9bc3f6677ad95db9bcommit | diff
Very dangerous bug fond!!!
The HELM_CONFIGURATION_PREFIX can't have a double slash in the
middle or a slash at the end due to the URI specifications
helm/interface/cadet diff | blob | history
helm/interface/servers.txt diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.