]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b3214f0) | patch
':' are noc quoted. I tried to quote them, but everything else
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 4 May 2001 11:44:50 +0000 (11:44 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 4 May 2001 11:44:50 +0000 (11:44 +0000)
commitb2765bc30d2a4662f8bde38650df6f77e3fe4d61
tree0ee92c66619d3c77f52cbafcd6d66f4dafa08ac6tree | snapshot
parentb3214f0da40accb3464b0e924f51a09fb804de77commit | diff
':' are noc quoted. I tried to quote them, but everything else
broke down (and I don't really understand why: maybe we need
to decode something or uwobo gives the stylesheet a quoted URL?)
helm/style/links_library.xsl diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.