diff options
author | Nguyễn Thái Ngọc Duy <pclouds@gmail.com> | 2018-10-27 09:23:19 +0300 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2018-10-29 04:17:03 +0300 |
commit | 7fb5ab4a020185c74007ca04ca6f8de9a3ae3868 (patch) | |
tree | 6fb381adefa6734ee8665f12562294e9f998b3a9 /Documentation/config.txt | |
parent | f7ade6c98045d27039a76691657d2fbf08e527fc (diff) |
config.txt: move merge-config.txt to config/
Signed-off-by: Nguyễn Thái Ngọc Duy <pclouds@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation/config.txt')
-rw-r--r-- | Documentation/config.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Documentation/config.txt b/Documentation/config.txt index c3c92bc269..441787e815 100644 --- a/Documentation/config.txt +++ b/Documentation/config.txt @@ -371,7 +371,7 @@ include::config/mailmap.txt[] include::config/man.txt[] -include::merge-config.txt[] +include::config/merge.txt[] mergetool.<tool>.path:: Override the path for the given tool. This is useful in case |