remove file that should have been .gitignored.