diff options
author | Junio C Hamano <gitster@pobox.com> | 2018-08-15 15:08:22 -0700 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2018-08-15 15:08:22 -0700 |
commit | 706b0b5e8d683b06e99bdfb2349228b360e4cf03 (patch) | |
tree | 6f1f5a53673bd1d33bd43ae2552df5ed965ffc34 /shell.c | |
parent | Merge branch 'bw/protocol-v2' (diff) | |
parent | diff: --color-moved: rename "dimmed_zebra" to "dimmed-zebra" (diff) | |
download | tgif-706b0b5e8d683b06e99bdfb2349228b360e4cf03.tar.xz |
Merge branch 'es/diff-color-moved-fix'
One of the "diff --color-moved" mode "dimmed_zebra" that was named
in an unusual way has been deprecated and replaced by
"dimmed-zebra".
* es/diff-color-moved-fix:
diff: --color-moved: rename "dimmed_zebra" to "dimmed-zebra"
Diffstat (limited to 'shell.c')
0 files changed, 0 insertions, 0 deletions