]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e6c203a) | patch
Workaround replacement: instead of a litteral URL (path on disk), a litteral
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 8 Nov 2001 16:30:54 +0000 (16:30 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 8 Nov 2001 16:30:54 +0000 (16:30 +0000)
commit866d9e575b72d6b6da363cd0fd0804e3bacccec0
treed2d6b5e5d3a9a029a31115eb95d800f51b81b0fbtree | snapshot
parente6c203a451ce07805c35130db4719b12afdf7b20commit | diff
Workaround replacement: instead of a litteral URL (path on disk), a litteral
request to the Getter on phd to resolve the URL.
The real problem (avoiding at all the thing) is still to be addressed.
helm/on-line/xslt/metadataLib.xsl diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.