Andrew's git / gitweb.git / diff
?
config: add git_config_get_split_index()
authorChristian Couder <christian.couder@gmail.com>
Mon, 27 Feb 2017 18:00:00 +0000 (19:00 +0100)
committerJunio C Hamano <gitster@pobox.com>
Wed, 1 Mar 2017 21:24:21 +0000 (13:24 -0800)
This new function will be used in a following commit to know
if we want to use the split index feature or not.

Signed-off-by: Christian Couder <chriscool@tuxfamily.org>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
No differences found