diff options
author | Antonio Ospite <ao2@ao2.it> | 2018-05-09 15:16:28 +0200 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2018-05-11 10:26:33 +0900 |
commit | f7997e36821d816710658874784cd538d134dee2 (patch) | |
tree | 5977cad02b0691c311b162e12090ac6546c3ea11 /Documentation/technical/api-setup.txt | |
parent | Git 2.17 (diff) | |
download | tgif-f7997e36821d816710658874784cd538d134dee2.tar.xz |
doc: fix config API documentation about config_with_options
In commit dc8441fdb ("config: don't implicitly use gitdir or commondir",
2017-06-14) the function git_config_with_options was renamed to
config_with_options to better reflect the fact that it does not access
the git global config or the repo config by default.
However Documentation/technical/api-config.txt still refers to the
previous name, fix that.
While at it also update the documentation about the extra parameters,
because they too changed since the initial definition.
Signed-off-by: Antonio Ospite <ao2@ao2.it>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation/technical/api-setup.txt')
0 files changed, 0 insertions, 0 deletions