.gitignore: Undo accidental commit.