sschuberth/mingwGitDevEnv — pull request #12 by dscho (2014-03-25 19:10:46+00:00)
Title: Update links to Jenkins

Signed-off-by: Johannes Schindelin