Revision 6db7e4aa557c2beb03495cc53849ec4be826d1b6

Committed on 08/08/2018 1:00 am by xrowdominik <[email protected]> [GitHub Diff]

reverted last commit - the bug was not deleting the file