geoadmin/mf-chsdi3 — pull request #911 by gjn (2014-08-06 13:14:49+00:00)
Title: Adding jenkins specific configuration

This adds a jenkins specific configuration. This will allow us to have CI specific configurations.

I'll self-merge because of trivial addition.