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