jenkinsci/extra-tool-installers-plugin — pull request #3 by oleg-nenashev (2013-09-10 09:54:51+00:00)
Title: Tool Home is provided by all extra installers.

Resolves https://issues.jenkins-ci.org/browse/JENKINS-19527

Signed-off-by: Oleg Nenashev