diff options
| author |  Johannes Schindelin <johannes.schindelin@gmx.de> | 2018-04-21 12:10:07 +0200 |
|---|---|---|
| committer |  Junio C Hamano <gitster@pobox.com> | 2018-04-24 10:38:47 +0900 |
| commit | 79f62e7dd96ae0cf98b7eca1b763012d1a4db0bb (patch) | |
| tree | 03631c3bd9bc7f77291686cd6fd25b729254feaa /t/t4013/diff.diff-tree_--root_-r_initial | |
| parent | push: test to verify that push errors are colored (diff) | |
| download | tgif-79f62e7dd96ae0cf98b7eca1b763012d1a4db0bb.tar.xz | |
config: document the settings to colorize push errors/hints
Let's make it easier for users to find out how to customize these colors.
Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 't/t4013/diff.diff-tree_--root_-r_initial')
0 files changed, 0 insertions, 0 deletions