From 7f50a495f6c0e28a93b0e68584272a46ee2f20ff Mon Sep 17 00:00:00 2001 From: =?utf8?q?Nguy=E1=BB=85n=20Th=C3=A1i=20Ng=E1=BB=8Dc=20Duy?= Date: Sat, 27 Oct 2018 08:23:26 +0200 Subject: [PATCH] config.txt: move pull-config.txt to config/ MIME-Version: 1.0 Content-Type: text/plain; charset=utf8 Content-Transfer-Encoding: 8bit Signed-off-by: Nguyễn Thái Ngọc Duy Signed-off-by: Junio C Hamano --- Documentation/config.txt | 2 +- Documentation/{pull-config.txt => config/pull.txt} | 0 2 files changed, 1 insertion(+), 1 deletion(-) rename Documentation/{pull-config.txt => config/pull.txt} (100%) 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[] diff --git a/Documentation/pull-config.txt b/Documentation/config/pull.txt similarity index 100% rename from Documentation/pull-config.txt rename to Documentation/config/pull.txt -- 2.11.4.GIT