Remove files to be ignored henceforth by .gitignore