]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/style/config/style-configuration.dtd
Version 1.2.1beta => 1.2.1
[helm.git] / helm / style / config / style-configuration.dtd
index a729aa7d34db4962581ee2ce78a967d009470761..a2470d67e14c6689077d3ea59002c1dd612ee77b 100644 (file)
@@ -1,4 +1,4 @@
-<?xml version="1.0"?>
+<?xml version="1.0" encoding="iso8859-1"?>
 
 <!ELEMENT style-configuration (style*,apply*)>