diff --git a/tool_conf.xml.main b/tool_conf.xml.main index 34f94f96206..2d4ec0dfec6 100644 --- a/tool_conf.xml.main +++ b/tool_conf.xml.main @@ -406,6 +406,9 @@
+