mirror of
https://github.com/git/git.git
synced 2026-02-01 11:34:05 +01:00
Migrate 'work_tree' to be stored in 'the_repository'. Signed-off-by: Brandon Williams <bmwill@google.com> Signed-off-by: Junio C Hamano <gitster@pobox.com>
8.8 KiB
8.8 KiB