]> matita.cs.unibo.it Git - helm.git/commit
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
tree61e387f326303ee186b4cbcff9635cfb8a17b8c7
parent1b885e1912db4b252b02d768ac5318a835497dca
Warning definitely removed.
helm/mowgli/home/xml/home.xml