Re: [PATCH] diff: 'diff.indentHeuristic' is no longer experimental

2019-08-15 Thread Junio C Hamano
Jeff King writes: > On Thu, Aug 15, 2019 at 11:12:45AM +0200, SZEDER Gábor wrote: > >> The indent heuristic started out as experimental, but it's now our >> default diff heuristic since 33de716387 (diff: enable indent heuristic >> by default, 2017-05-08). Alas, that commit didn't update the >> d

Re: [PATCH] diff: 'diff.indentHeuristic' is no longer experimental

2019-08-15 Thread Jeff King
On Thu, Aug 15, 2019 at 11:12:45AM +0200, SZEDER Gábor wrote: > The indent heuristic started out as experimental, but it's now our > default diff heuristic since 33de716387 (diff: enable indent heuristic > by default, 2017-05-08). Alas, that commit didn't update the > documentation, and the descr

[PATCH] diff: 'diff.indentHeuristic' is no longer experimental

2019-08-15 Thread SZEDER Gábor
The indent heuristic started out as experimental, but it's now our default diff heuristic since 33de716387 (diff: enable indent heuristic by default, 2017-05-08). Alas, that commit didn't update the documentation, and the description of the 'diff.indentHeuristic' configuration variable still impli