]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 28959d0) | patch
use server-side include
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 2 Feb 2006 22:50:31 +0000 (22:50 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 2 Feb 2006 22:50:31 +0000 (22:50 +0000)
commit727fa1f56c2e47203da5d232ad48b2fe02e63282
tree6731eb349ce80dffe69abf417759c4c0045c5b2dtree | snapshot
parent28959d029595595f2d4218fb3202e838f457c3d3commit | diff
use server-side include
15 files changed:
helm/www/matita/bottombar.shtml [new file with mode: 0644] blob
helm/www/matita/community.html [deleted file] blob | history
helm/www/matita/community.shtml [new file with mode: 0644] blob
helm/www/matita/developers.html [deleted file] blob | history
helm/www/matita/developers.shtml [new file with mode: 0644] blob
helm/www/matita/documentation.html [deleted file] blob | history
helm/www/matita/documentation.shtml [new file with mode: 0644] blob
helm/www/matita/download.html [deleted file] blob | history
helm/www/matita/download.shtml [new file with mode: 0644] blob
helm/www/matita/index.html [deleted symlink] blob | history
helm/www/matita/index.shtml [new symlink] blob
helm/www/matita/matita.html [deleted file] blob | history
helm/www/matita/matita.shtml [new file with mode: 0644] blob
helm/www/matita/menubar.shtml [new file with mode: 0644] blob
helm/www/matita/xhtml-header.shtml [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.