]> matita.cs.unibo.it Git - helm.git/commit
getheader.xml setheader.xsl : fix del bug bruttissimo
authorLuca Padovani <luca.padovani@unito.it>
Fri, 24 Nov 2000 18:07:17 +0000 (18:07 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Fri, 24 Nov 2000 18:07:17 +0000 (18:07 +0000)
commit391d7db59bbfaeb21e959c9b6630c541705f6040
treec0e541fb0df3eae07a028fc7728ec0e590f78d14
parentad59795bcfe0b77c6df796aac5d36cb0d2f6b2e7
getheader.xml setheader.xsl : fix del bug bruttissimo
helm/header/setheader.xsl