config.txt: move mergetool.* to a separate file
commitea24a76a5e76d9850088cd679de18f56e079b1df
authorNguyễn Thái Ngọc Duy <pclouds@gmail.com>
Sat, 27 Oct 2018 06:23:20 +0000 (27 08:23 +0200)
committerJunio C Hamano <gitster@pobox.com>
Mon, 29 Oct 2018 01:17:03 +0000 (29 10:17 +0900)
tree218f007454b6c609a9abdbca7d19e3097bd46ea5
parent7fb5ab4a020185c74007ca04ca6f8de9a3ae3868
config.txt: move mergetool.* 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/mergetool.txt [new file with mode: 0644]