author | Michael J Gruber <git@drmicha.warpmail.net> | |
Wed, 27 Apr 2011 07:38:27 +0000 (09:38 +0200) | ||
committer | Junio C Hamano <gitster@pobox.com> | |
Wed, 27 Apr 2011 18:25:47 +0000 (11:25 -0700) | ||
commit | 6999c54029b42ea996c2fff4fa37303f79b9d8c2 | |
tree | 38930348640c29f618cbe40f6fbbfb08d747b1b5 | tree | snapshot |
parent | ec014eac0e9e6f30cbbca616090fa2ecf74797e7 | commit | diff |
config.txt,diff-options.txt: porcelain vs. plumbing for color.diff
Reading the diff-family and config man pages one may think that the
color.diff and color.ui settings apply to all diff commands. Make it
clearer that they do not apply to the plumbing variants
diff-{files,index,tree}.
Signed-off-by: Michael J Gruber <git@drmicha.warpmail.net>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Reading the diff-family and config man pages one may think that the
color.diff and color.ui settings apply to all diff commands. Make it
clearer that they do not apply to the plumbing variants
diff-{files,index,tree}.
Signed-off-by: Michael J Gruber <git@drmicha.warpmail.net>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Documentation/config.txt | diff | blob | history | |
Documentation/diff-options.txt | diff | blob | history |