diff: migrate diff_flags.pickaxe_ignore_case to a pickaxe_opts bit
[git] / t / t0021 /
drwxr-xr-x   ..
-rw-r--r-- 7759 rot13-filter.pl