geoadmin/mf-chsdi3 — pull request #909 by gjn (2014-08-06 07:16:54+00:00)
Title: Remove travis configuration

As travis will be replaced by jenkins shortly and travis has been disabled for this project, we can remove the travis configuration.