devhub-tud/devhub — pull request #7 by michaeldejong (2014-04-09 09:54:29+00:00)
Title: Preparing for build-server deployment.

This PR introduces changes which are required to interoperate with the build server.