Commit 7e3faf58cbafd1115d0f4bf6e5a2b422f9ef78f1

Carlos Martín Nieto 2017-10-29T15:05:28

diff: expose the "indent heuristic" in the diff options We default to off, but we might want to consider changing `GIT_DIFF_NORMAL` to include it.