diff: --indent-heuristic is no longer experimental
commitbab76141da04ab094ece449e2127ef43a8fa60c8
authorCarlos Martín Nieto <cmn@dwim.me>
Sun, 29 Oct 2017 15:12:28 +0000 (29 16:12 +0100)
committerJunio C Hamano <gitster@pobox.com>
Thu, 2 Nov 2017 05:51:24 +0000 (2 14:51 +0900)
tree8da041a25b704b420b2cc3412195f0997170c941
parentfc849d8d6b90e5c1e0c37bc0d60dd92b2fe7347f
diff: --indent-heuristic is no longer experimental

This heuristic has been the default since 2.14 so we should not confuse our
users by saying that it's experimental and off by default.

Signed-off-by: Carlos Martín Nieto <cmn@dwim.me>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Documentation/diff-heuristic-options.txt [deleted file]
Documentation/diff-options.txt
Documentation/git-annotate.txt
Documentation/git-blame.txt