Deleted a file which wasn't supposed to be in the repository