]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 33d3656) | patch
- renamed some files
authorLuca Padovani <luca.padovani@unito.it>
Tue, 19 Feb 2002 16:43:01 +0000 (16:43 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Tue, 19 Feb 2002 16:43:01 +0000 (16:43 +0000)
commitf55cd17459171f1f16631cb9301f9c46a7aaebf4
treeec2295b24a7e06f0a090ac3d6128372ccfb2d9e8tree | snapshot
parent33d36569adeda8bbe9dab0d98f78c4c35846bd95commit | diff
- renamed some files
- added links to the home page
- changed news on front page
helm/mowgli/home/html/.cvsignore diff | blob | history
helm/mowgli/home/html/Makefile diff | blob | history
helm/mowgli/home/templates/home.html.bot diff | blob | history
helm/mowgli/home/templates/home.html.top diff | blob | history
helm/mowgli/home/templates/project-management.html [deleted file] blob | history
helm/mowgli/home/templates/project-management.xml [new file with mode: 0644] blob
helm/mowgli/home/templates/project-summary.xml [new file with mode: 0644] blob
helm/mowgli/home/templates/project_summary.html [deleted file] blob | history
helm/mowgli/home/xsl/latest-news.xsl diff | blob | history
helm/mowgli/home/xsl/news.xsl diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.