[JIRA] (JENKINS-14538) Separate "configure tools" page

[d...@fortysix.ch (JIRA)]

domi commented on JENKINS-14538 Separate "configure tools" page nice change, but I would still prefer a separate page to global configuration is a mess on its own and dividing it into different pages would help

This message is automatically generated by JIRA. If you think it was sent incorrectly, please contact your JIRA administrators. For more information on JIRA, see: http://www.atlassian.com/software/jira