config.txt: move difftool.* to a separate file
commit9155f6f670f152bee38cb48b4db5348f34b51e60
authorNguyễn Thái Ngọc Duy <pclouds@gmail.com>
Sat, 27 Oct 2018 06:22:52 +0000 (27 08:22 +0200)
committerJunio C Hamano <gitster@pobox.com>
Mon, 29 Oct 2018 01:17:01 +0000 (29 10:17 +0900)
tree61caad118fc13a089d929f6236d3c9d64f269e38
parentfa922d74c525a8f66584e50b60b8dfc3cd237a90
config.txt: move difftool.* to a separate file

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/difftool.txt [new file with mode: 0644]