Remove obsolete .gitignore entry