t / t4013 / diff.diff_--no-index_dir_dir3on commit git grep -O -i: if the pager is 'less', pass the '-I' option (f7febbe)
   1$ git diff --no-index dir dir3
   2$