]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1b885e1) | patch
Warning definitely removed.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 26 Feb 2002 16:35:53 +0000 (16:35 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 26 Feb 2002 16:35:53 +0000 (16:35 +0000)
commitbabb3a277b6eddc5a21e3930ac2955f50a562b0b
tree61e387f326303ee186b4cbcff9635cfb8a17b8c7tree | snapshot
parent1b885e1912db4b252b02d768ac5318a835497dcacommit | diff
Warning definitely removed.
helm/mowgli/home/xml/home.xml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.