diff --git a/tool_conf.xml.main b/tool_conf.xml.main index 371e66dbde5..9baf44c550a 100644 --- a/tool_conf.xml.main +++ b/tool_conf.xml.main @@ -52,7 +52,7 @@ - +
@@ -289,7 +289,9 @@ - --> + + + -->