Revision 3903b8077bdc43fb52a1575348429ed025cdc6fd

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

- reset button