Revision 39dc21a0f81a52fdab7500bd772541aef7c76dca

Committed on 20/12/2016 3:19 am by Björn Dieding <[email protected]> [GitHub Diff]

- removed unneeded files