]> matita.cs.unibo.it Git - helm.git/commit
added encoding
authorLuca Padovani <luca.padovani@unito.it>
Mon, 12 Feb 2001 12:34:11 +0000 (12:34 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Mon, 12 Feb 2001 12:34:11 +0000 (12:34 +0000)
commit09cb0a26981ce955c25d87fbaf49f8fe56e1b424
tree64bd9e6b57d8cfad561303f06e9035de360fb503
parent083c36a4acd76127530b9af3d4c6c311f447d79b
added encoding
helm/style/config/style-configuration.dtd
helm/style/config/style-configuration.xml