X-Git-Url: http://git.indexdata.com/?a=blobdiff_plain;f=doc%2Fsession_shared.xml;h=a5d545143d48c977c75738fc4d38ec39ebfa2c11;hb=6ce31309381822f3fe2a5364be1cd73a7472d62f;hp=e90334307385e787ee13349b7a7017af8273ddb0;hpb=757801de550ddcf90d0a7ff2c5fcdac299fd3d8d;p=metaproxy-moved-to-github.git

diff --git a/doc/session_shared.xml b/doc/session_shared.xml
index e903343..a5d5451 100644
--- a/doc/session_shared.xml
+++ b/doc/session_shared.xml
@@ -119,15 +119,7 @@
 
 <!-- Keep this comment at the end of the file
 Local variables:
-mode: sgml
-sgml-omittag:t
-sgml-shorttag:t
-sgml-minimize-attributes:nil
-sgml-always-quote-attributes:t
-sgml-indent-step:1
-sgml-indent-data:t
-sgml-parent-document:nil
-sgml-local-catalogs: nil
-sgml-namecase-general:t
+mode: nxml
+nxml-child-indent: 1
 End:
 -->