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 /config.c | |
| parent | 8301266afa4a54ec3c27ac874017371b0a3178e1 (diff) | |
| download | git-79f62e7dd96ae0cf98b7eca1b763012d1a4db0bb.tar.gz | |
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 'config.c')
0 files changed, 0 insertions, 0 deletions