diff options
| author | Nguyễn Thái Ngọc Duy <pclouds@gmail.com> | 2018-10-27 08:23:04 +0200 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2018-10-29 10:17:02 +0900 |
| commit | d864cf8bf97786d2511523765ffae8fa70ee675f (patch) | |
| tree | 0005ab605f87948b33d37487a54e8f911e3d4faa | |
| 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>
| -rw-r--r-- | Documentation/config.txt | 2 | ||||
| -rw-r--r-- | Documentation/config/gui.txt (renamed from Documentation/gui-config.txt) | 0 |
2 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 diff --git a/Documentation/gui-config.txt b/Documentation/config/gui.txt index d30831a130..d30831a130 100644 --- a/Documentation/gui-config.txt +++ b/Documentation/config/gui.txt |