Revision 6db7e4aa557c2beb03495cc53849ec4be826d1b6

Committed on 08/08/2018 1:00 am by xrowdominik <dominik@xrow.de> [GitHub Diff]

reverted last commit - the bug was not deleting the file