diff --git a/config.c b/config.c
index b0ada515b9d839fc8691bc9af320353ff323b251..8fcb5db94f37c240734dfd9946c95b5f0f697ef8 100644 (file)
--- a/config.c
+++ b/config.c
return 0;
}
+ if (!strcmp(var, "core.ignorecase")) {
+ ignore_case = git_config_bool(var, value);
+ return 0;
+ }
+
if (!strcmp(var, "core.bare")) {
is_bare_repository_cfg = git_config_bool(var, value);
return 0;