diff options
| author | Jeff King <peff@peff.net> | 2016-03-12 01:37:18 +0300 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2016-03-12 02:02:24 +0300 |
| commit | c90e5293d11bc2c671312778aea33922a4ee1725 (patch) | |
| tree | 196840d3446a1218c1ccf2b1a69b7fd5a1c47f16 /environment.c | |
| parent | 652f18ee8734ffb4a98271e5020dfa550db0f37b (diff) | |
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 'environment.c')
| -rw-r--r-- | environment.c | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/environment.c b/environment.c index 8b8c8e8496..d9e3861fe8 100644 --- a/environment.c +++ b/environment.c @@ -25,7 +25,6 @@ int log_all_ref_updates = -1; /* unspecified */ int warn_ambiguous_refs = 1; int warn_on_object_refname_ambiguity = 1; int ref_paranoia = -1; -int repository_format_version; int repository_format_precious_objects; const char *git_commit_encoding; const char *git_log_output_encoding; |