diff options
author | Johannes Schindelin <johannes.schindelin@gmx.de> | 2018-10-30 11:40:06 -0700 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2018-10-31 12:46:27 +0900 |
commit | bdfbb0ea932d1ec479474cc7928ec9d47ea89e7b (patch) | |
tree | ba8768c1a1b10c12f8ae954616b68c49302bfa05 /config.c | |
parent | config: allow for platform-specific core.* config settings (diff) | |
download | tgif-bdfbb0ea932d1ec479474cc7928ec9d47ea89e7b.tar.xz |
config: move Windows-specific config settings into compat/mingw.c
Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'config.c')
-rw-r--r-- | config.c | 8 |
1 files changed, 0 insertions, 8 deletions
@@ -1344,14 +1344,6 @@ static int git_default_core_config(const char *var, const char *value, void *cb) return 0; } - if (!strcmp(var, "core.hidedotfiles")) { - if (value && !strcasecmp(value, "dotgitonly")) - hide_dotfiles = HIDE_DOTFILES_DOTGITONLY; - else - hide_dotfiles = git_config_bool(var, value); - return 0; - } - if (!strcmp(var, "core.partialclonefilter")) { return git_config_string(&core_partial_clone_filter_default, var, value); |