Deletion of useless .gitignore.