config.txt: move pull-config.txt to config/
commit7f50a495f6c0e28a93b0e68584272a46ee2f20ff
authorNguyễn Thái Ngọc Duy <pclouds@gmail.com>
Sat, 27 Oct 2018 06:23:26 +0000 (27 08:23 +0200)
committerJunio C Hamano <gitster@pobox.com>
Mon, 29 Oct 2018 01:17:03 +0000 (29 10:17 +0900)
tree654fb69049e5601ff45f44e9765a3701f13fd974
parentdd55172c32efde89e41900b8f7d665e7b2d76a6b
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>
Documentation/config.txt
Documentation/config/pull.txt [moved from Documentation/pull-config.txt with 100% similarity]