]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0f3f918) | patch
Project Objectives added.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 19 Feb 2002 17:26:50 +0000 (17:26 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 19 Feb 2002 17:26:50 +0000 (17:26 +0000)
commite1d1119e566e73a3658c896dbd81bb379e9c6b98
treeeb5ffd4b13bc523daec1f40389b169b8f739bdc8tree | snapshot
parent0f3f9183eb6f7c65cb8e824ddb7480b4a19e0794commit | diff
Project Objectives added.
helm/mowgli/home/html/.cvsignore diff | blob | history
helm/mowgli/home/html/Makefile diff | blob | history
helm/mowgli/home/templates/home.html.top diff | blob | history
helm/mowgli/home/xml/project-objectives.xml [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.