diff options
| author | Jeff King <peff@peff.net> | 2016-03-11 22:37:18 (GMT) |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2016-03-11 23:02:24 (GMT) |
| commit | c90e5293d11bc2c671312778aea33922a4ee1725 (patch) | |
| tree | 196840d3446a1218c1ccf2b1a69b7fd5a1c47f16 /builtin | |
| parent | 652f18ee8734ffb4a98271e5020dfa550db0f37b (diff) | |
| download | git-c90e5293d11bc2c671312778aea33922a4ee1725.zip git-c90e5293d11bc2c671312778aea33922a4ee1725.tar.gz git-c90e5293d11bc2c671312778aea33922a4ee1725.tar.bz2 | |
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 'builtin')
0 files changed, 0 insertions, 0 deletions