Revision 8f16189092b9acd1dc67c8172526f7054e825aee

Committed on 14/10/2016 7:47 am by Björn Dieding <[email protected]> [GitHub Diff]

- moved code
- new setting