]> matita.cs.unibo.it Git - helm.git/commit
partial implementation of IST logo. Deep pages have the wrong reference
authorLuca Padovani <luca.padovani@unito.it>
Wed, 13 Feb 2002 20:00:53 +0000 (20:00 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Wed, 13 Feb 2002 20:00:53 +0000 (20:00 +0000)
commit432ff09217ee558843c7774dc6921bfae4e6d95b
tree9c0c7809221a529829ab35266d6ca99d9c2d5ff7
parent7f82c382166aefe91da488d4ff7d37c0e2389352
partial implementation of IST logo. Deep pages have the wrong reference
helm/mowgli/home/html/Makefile
helm/mowgli/home/templates/home.html
helm/mowgli/home/xsl/common.xsl