diff options
| author | Carlos Martín Nieto <cmn@dwim.me> | 2017-10-29 16:12:28 +0100 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2017-11-02 14:51:24 +0900 |
| commit | bab76141da04ab094ece449e2127ef43a8fa60c8 (patch) | |
| tree | 8da041a25b704b420b2cc3412195f0997170c941 /Documentation/diff-heuristic-options.txt | |
| parent | fc849d8d6b90e5c1e0c37bc0d60dd92b2fe7347f (diff) | |
| download | git-bab76141da04ab094ece449e2127ef43a8fa60c8.tar.gz | |
diff: --indent-heuristic is no longer experimentalcn/diff-indent-no-longer-is-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>
Diffstat (limited to 'Documentation/diff-heuristic-options.txt')
| -rw-r--r-- | Documentation/diff-heuristic-options.txt | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/Documentation/diff-heuristic-options.txt b/Documentation/diff-heuristic-options.txt deleted file mode 100644 index d4f3d95505..0000000000 --- a/Documentation/diff-heuristic-options.txt +++ /dev/null @@ -1,5 +0,0 @@ ---indent-heuristic:: ---no-indent-heuristic:: - These are to help debugging and tuning experimental heuristics - (which are off by default) that shift diff hunk boundaries to - make patches easier to read. |