remove obsolete entry from .gitignore