Remove obsolete directory from .gitignore.