diff --git a/tool_conf.xml.main b/tool_conf.xml.main index 2fdd9dfaa4a..b0bed4d5c80 100644 --- a/tool_conf.xml.main +++ b/tool_conf.xml.main @@ -169,6 +169,12 @@ + + + + + +