X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fstyle%2Fconfig%2Fstyle-configuration.xml;h=1641a5906a140643c2b1f573862bdd23ecdf4e00;hb=0e25ed1f31b0dd197638e5d212f65d6055656e79;hp=333204c42ed160fab31ede038e1893a7ccbec117;hpb=69baba8e22386b96df9210e58b7454ed415ded5b;p=helm.git

diff --git a/helm/style/config/style-configuration.xml b/helm/style/config/style-configuration.xml
index 333204c42..1641a5906 100644
--- a/helm/style/config/style-configuration.xml
+++ b/helm/style/config/style-configuration.xml
@@ -1,4 +1,4 @@
-<?xml version="1.0"?>
+<?xml version="1.0" encoding="iso8859-1"?>
 <!DOCTYPE style-configuration SYSTEM "style-configuration.dtd">
 
 <style-configuration>