diff options
author | Stefan Beller <sbeller@google.com> | 2018-08-01 12:34:11 -0700 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2018-08-01 13:04:24 -0700 |
commit | 999d90262727a8e7a25a40dd71073040a2605437 (patch) | |
tree | 5519eeb81c1b6010139f412f4f288dddb0b5253e /userdiff.h | |
parent | config: a user-provided invalid section is not a BUG (diff) | |
download | tgif-999d90262727a8e7a25a40dd71073040a2605437.tar.xz |
t1300: document current behavior of setting options
This documents current behavior of the config machinery, when changing
the value of some settings. This patch just serves to provide a baseline
for the follow up that will fix some issues with the current behavior.
Signed-off-by: Stefan Beller <sbeller@google.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'userdiff.h')
0 files changed, 0 insertions, 0 deletions