Tiny edit to .gitignore