commit | fce8b5d82fadd0bc27b12ae91bf7ad74d6488e97 | [log] [tgz] |
---|---|---|
author | Junio C Hamano <gitster@pobox.com> | Mon Mar 12 15:46:32 2012 -0700 |
committer | Junio C Hamano <gitster@pobox.com> | Mon Mar 12 15:46:32 2012 -0700 |
tree | b5e532b473b7bde254ad1218265369965191133c | |
parent | f629c233e6dd72924ed2672db142708b71dc663e [diff] | |
parent | b3f01ff29f7131e959bcfdfd004744d74d5fa319 [diff] |
Merge branch 'jc/maint-diff-patch-header' into maint "git diff-index" and its friends at the plumbing level showed the "diff --git" header and nothing else for a path whose cached stat info is dirty without actual difference when asked to produce a patch. This was a longstanding bug that we could have fixed long time ago. By Junio C Hamano * jc/maint-diff-patch-header: diff -p: squelch "diff --git" header for stat-dirty paths t4011: illustrate "diff-index -p" on stat-dirty paths t4011: modernise style