diff --git a/tool_conf.xml.main b/tool_conf.xml.main index 8c5932b2208..37ef616a177 100644 --- a/tool_conf.xml.main +++ b/tool_conf.xml.main @@ -124,8 +124,10 @@ +