diff options
author | Nguyễn Thái Ngọc Duy <pclouds@gmail.com> | 2018-10-27 09:23:26 +0300 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2018-10-29 04:17:03 +0300 |
commit | 7f50a495f6c0e28a93b0e68584272a46ee2f20ff (patch) | |
tree | 654fb69049e5601ff45f44e9765a3701f13fd974 /Documentation/config.txt | |
parent | dd55172c32efde89e41900b8f7d665e7b2d76a6b (diff) |
config.txt: move pull-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 e80148a133..9de16a498e 100644 --- a/Documentation/config.txt +++ b/Documentation/config.txt @@ -385,7 +385,7 @@ include::config/pretty.txt[] include::config/protocol.txt[] -include::pull-config.txt[] +include::config/pull.txt[] include::push-config.txt[] |