diff --git a/tool_conf.xml.main b/tool_conf.xml.main index 8cd708b1a97..a3d3214fc20 100644 --- a/tool_conf.xml.main +++ b/tool_conf.xml.main @@ -351,6 +351,8 @@ + + @@ -394,6 +396,21 @@ + + + + + + + + + + + + + + +