jenkinsci/customtools-plugin — pull request #7 by oleg-nenashev (2013-07-18 12:52:09+00:00)
Title: Implemented proper handling of leading variable in the ToolsHome

More info: https://issues.jenkins-ci.org/browse/JENKINS-18815