Since you've already added them to your .gitignore one way to do this is to move the files in question outside the repo folder, commit the "deletion" and then put them back into the repo folder.