]> matita.cs.unibo.it Git - helm.git/commit
config/style-configuration.xml : a little mistake in the default configuration
authorLuca Padovani <luca.padovani@unito.it>
Thu, 8 Feb 2001 11:15:25 +0000 (11:15 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Thu, 8 Feb 2001 11:15:25 +0000 (11:15 +0000)
commit69baba8e22386b96df9210e58b7454ed415ded5b
tree71973378132a519962b1f5be24b264eed45f39a7
parent9632260a013dabd108d9965d6faffd99246e1f47
config/style-configuration.xml : a little mistake in the default configuration
helm/style/config/style-configuration.xml