diff options
author | Nguyễn Thái Ngọc Duy <pclouds@gmail.com> | 2018-10-27 09:23:04 +0300 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2018-10-29 04:17:02 +0300 |
commit | d864cf8bf97786d2511523765ffae8fa70ee675f (patch) | |
tree | 0005ab605f87948b33d37487a54e8f911e3d4faa /Documentation/config.txt | |
parent | ea555d048a136f25f93bd91584d23a51adea1c3c (diff) |
config.txt: move gui-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 f52b89883d..093a71e5d1 100644 --- a/Documentation/config.txt +++ b/Documentation/config.txt @@ -343,7 +343,7 @@ include::config/grep.txt[] include::config/gpg.txt[] -include::gui-config.txt[] +include::config/gui.txt[] guitool.<name>.cmd:: Specifies the shell command line to execute when the corresponding item |