jenkinsci/jenkins — pull request #772 by imod (2013-05-05 15:59:13+00:00)
Title: FIXES JENKINS-17723 - Default maven settings

This change allows to define a global default definition for maven settings (user and global) - see here https://issues.jenkins-ci.org/browse/JENKINS-17723

In order to have this implementation fully working, the pull request https://github.com/jenkinsci/jenkins/pull/771 must be pulled too.