]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 69baba8) | patch
xsltProcessorHTTP.ml : no temp file created,
authorLuca Padovani <luca.padovani@unito.it>
Fri, 9 Feb 2001 11:36:17 +0000 (11:36 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Fri, 9 Feb 2001 11:36:17 +0000 (11:36 +0000)
commitc06d7ae216653045f6c4f2cc6ca5198e35003ab1
tree95bb441987d84a4f08b9787422ca2e95ea31066dtree | snapshot
parent69baba8e22386b96df9210e58b7454ed415ded5bcommit | diff
xsltProcessorHTTP.ml : no temp file created,
the problem was due to a libxml bug fixed in version 2.2.9, upgrade!
helm/interface/xsltProcessorHTTP.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.