highlight-diffpatch/.gitignore