some corrections ...

[helm.git] / helm / www / matita / helm-proto.hrc

diff --git a/helm/www/matita/helm-proto.hrc b/helm/www/matita/helm-proto.hrc
index f678424528e79a5e66e5172d58ea04c2ed7c7433..90b6235429c14872f5c9ba0072f8feeedf68945d 100644 (file)
--- a/helm/www/matita/helm-proto.hrc
+++ b/helm/www/matita/helm-proto.hrc
@@ -17,6 +17,8 @@
     <filename>/\.ma$/i</filename>
   </prototype>
 
-  <type name="default"><scheme name="grafite"/></type>
+  <type name="default">
+    <scheme name="grafite" />
+  </type>
 
 </hrc>