]> git.ipfire.org Git - thirdparty/git.git/commit
projects / thirdparty / git.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 844ede3) | patch
config.h: remove unused git_configset_add_parameters()
authorÆvar Arnfjörð Bjarmason <avarab@gmail.com>
Tue, 7 Feb 2023 16:15:42 +0000 (17:15 +0100)
committerJunio C Hamano <gitster@pobox.com>
Tue, 7 Feb 2023 18:50:27 +0000 (10:50 -0800)
commit3eb1e1ca9a3cdb68d6b67b0ff0a40f647b2aedaf
tree467f5b815fe00fbb0e9a605bcc2bbc31ec5355f4tree | snapshot
parent844ede312b4e988881b6e27e352f469d8ab80b2acommit | diff
config.h: remove unused git_configset_add_parameters()

This function was removed in ecec57b3c97 (config: respect includes in
protected config, 2022-10-13), but its prototype was left here.

Signed-off-by: Ævar Arnfjörð Bjarmason <avarab@gmail.com>
Reviewed-by: Glen Choo <chooglen@google.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
config.h diff | blob | blame | history
Unnamed repository; edit this file 'description' to name the repository.