diff options
author | Jeff King <peff@peff.net> | 2016-03-11 17:37:18 -0500 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2016-03-11 15:02:24 -0800 |
commit | c90e5293d11bc2c671312778aea33922a4ee1725 (patch) | |
tree | 196840d3446a1218c1ccf2b1a69b7fd5a1c47f16 /setup.c | |
parent | 652f18ee8734ffb4a98271e5020dfa550db0f37b (diff) | |
download | git-c90e5293d11bc2c671312778aea33922a4ee1725.tar.gz |
setup: drop repository_format_version global
Nobody reads this anymore, and they're not likely to; the
interesting thing is whether or not we passed
check_repository_format(), and possibly the individual
"extension" variables.
Signed-off-by: Jeff King <peff@peff.net>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'setup.c')
-rw-r--r-- | setup.c | 1 |
1 files changed, 0 insertions, 1 deletions
@@ -428,7 +428,6 @@ static int check_repository_format_gently(const char *gitdir, int *nongit_ok) die("%s", err.buf); } - repository_format_version = candidate.version; repository_format_precious_objects = candidate.precious_objects; string_list_clear(&candidate.unknown_extensions, 0); if (!has_common) { |