]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/style/config/style-configuration.xml
added encoding
[helm.git] / helm / style / config / style-configuration.xml
index 333204c42ed160fab31ede038e1893a7ccbec117..1641a5906a140643c2b1f573862bdd23ecdf4e00 100644 (file)
@@ -1,4 +1,4 @@
-<?xml version="1.0"?>
+<?xml version="1.0" encoding="iso8859-1"?>
 <!DOCTYPE style-configuration SYSTEM "style-configuration.dtd">
 
 <style-configuration>