diff options
author | Eric Sunshine <sunshine@sunshineco.com> | 2018-07-24 17:58:45 -0400 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2018-07-25 14:23:52 -0700 |
commit | e3f2f5f9cd9238ae106434278d325eada2719842 (patch) | |
tree | 8959c32d009a921bcb842d06e7c3ebaeb09f49ef /git-gui/GIT-VERSION-GEN | |
parent | Git 2.16.4 (diff) | |
download | tgif-e3f2f5f9cd9238ae106434278d325eada2719842.tar.xz |
diff: --color-moved: rename "dimmed_zebra" to "dimmed-zebra"
The --color-moved "dimmed_zebra" mode (with an underscore) is an
anachronism. Most options and modes are hyphenated. It is more difficult
to type and somewhat more difficult to read than those which are
hyphenated. Therefore, rename it to "dimmed-zebra", and nominally
deprecate "dimmed_zebra".
Signed-off-by: Eric Sunshine <sunshine@sunshineco.com>
Reviewed-by: Jonathan Nieder <jrnieder@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'git-gui/GIT-VERSION-GEN')
0 files changed, 0 insertions, 0 deletions