Details
-
Improvement
-
Status: Closed
-
Major
-
Resolution: Fixed
-
tools-1.5.2-incubating
-
None
Description
It is not possible to change the case sensitivity while loading a tool anymore. We should remove the argument from parameters.