commit | 6999c54029b42ea996c2fff4fa37303f79b9d8c2 | [log] [tgz] |
---|---|---|
author | Michael J Gruber <git@drmicha.warpmail.net> | Wed Apr 27 09:38:27 2011 +0200 |
committer | Junio C Hamano <gitster@pobox.com> | Wed Apr 27 11:25:47 2011 -0700 |
tree | 38930348640c29f618cbe40f6fbbfb08d747b1b5 | |
parent | ec014eac0e9e6f30cbbca616090fa2ecf74797e7 [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>