jenkinsci/jenkins — pull request #606 by ndeloof (2012-11-05 09:37:23+00:00)
Title: inverse maven-plugin -> config-file-provider dependency

Create a new ExtensionPoint to provide user settings.xml and global settings to maven executions. Use it to refactor config-fil-provider integration in maven-plugin, as well as other options for user to provide settings.