diff --git a/tool_conf.xml.main b/tool_conf.xml.main index b31c3d993c2..d764fffbc4a 100644 --- a/tool_conf.xml.main +++ b/tool_conf.xml.main @@ -119,6 +119,7 @@ +