GitTut: delete files