devhub-tud/devhub — pull request #19 by michaeldejong (2014-04-17 12:56:23+00:00)
Title: Added build status of commits to web-interface.

This PR does the following:

* Improved readability of all pages by increasing header size.
* Improved readability of commits with build status.
* Added a new page where the specific build log of a commit can be seen.

I hard-coded some English pieces of text into the templates. I'll need to clean this up afterwards.