Put back deleted .gitignore lines.