diff --git a/crlcore/etc/tools.configuration.xml b/crlcore/etc/tools.configuration.xml index be86f6ca..69657484 100644 --- a/crlcore/etc/tools.configuration.xml +++ b/crlcore/etc/tools.configuration.xml @@ -63,6 +63,7 @@ + @@ -114,6 +115,7 @@ +