]> git.ipfire.org Git - thirdparty/git.git/commitdiff
Merge branch 'es/worktree-cleanup'
authorJunio C Hamano <gitster@pobox.com>
Mon, 2 Mar 2020 23:07:20 +0000 (15:07 -0800)
committerJunio C Hamano <gitster@pobox.com>
Mon, 2 Mar 2020 23:07:20 +0000 (15:07 -0800)
Code cleanup.

* es/worktree-cleanup:
  worktree: drop unused code from get_main_worktree()


Trivial merge