Revision a6b8b6565cfcc11a6d80c19a08cdf969807a891d

Committed on 20/10/2013 9:49 am by Björn Dieding <[email protected]> [GitHub Diff]

- clean up