diff options
author | Christian Couder <christian.couder@gmail.com> | 2017-02-27 21:00:00 +0300 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2017-03-02 00:24:21 +0300 |
commit | 1f44b09b5891aa0dc30cc7b7fff0d29b985a5af6 (patch) | |
tree | 7f3d2049b811565e269e5cec2477ed1b696a4cb9 /split-index.c | |
parent | 5662176313935abb2035a12e14d701c756d9ac96 (diff) |
config: add git_config_get_split_index()
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>
Diffstat (limited to 'split-index.c')
0 files changed, 0 insertions, 0 deletions