Removed files that were in .gitignore

After adding files to the .gitignore file, they still existed, I have
git rm-ed them to see what happens.