]> matita.cs.unibo.it Git - helm.git/commit
Mispelled name.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 27 Feb 2002 10:06:57 +0000 (10:06 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 27 Feb 2002 10:06:57 +0000 (10:06 +0000)
commit4c9123ced31cede42e5cc1e19d701a6f6e5e9d6b
tree5c5f216d9be734113c01943318ff04b75e6ca02f
parent7f9d1850b78b7a469e2a55c15340a2aee0fd4814
Mispelled name.
helm/mowgli/home/xml/people/nijmegen/wiedijk.xml