]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: be56394) | patch
templates/menu.html moved to xml/menu.xml
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 26 Feb 2002 15:25:09 +0000 (15:25 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 26 Feb 2002 15:25:09 +0000 (15:25 +0000)
commitdd6df514e8240ceb5372d05da3694b9a05ac2fe9
treecb5c63599355aa29c1c73e4084a7e65ac66ed6bbtree | snapshot
parentbe56394cb6821b40d444a62e6139ca3719bdb59acommit | diff
templates/menu.html moved to xml/menu.xml
(it is processed when no frames are used)
helm/mowgli/home/html/Makefile diff | blob | history
helm/mowgli/home/templates/menu.html [deleted file] blob | history
helm/mowgli/home/xml/menu.xml [new file with mode: 0644] blob
helm/mowgli/home/xsl/xhtml-content.xsl diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.