]> git.ipfire.org Git - thirdparty/git.git/commitdiff
Merge branch 'jc/glossary-worktree'
authorJunio C Hamano <gitster@pobox.com>
Fri, 18 Feb 2022 21:53:30 +0000 (13:53 -0800)
committerJunio C Hamano <gitster@pobox.com>
Fri, 18 Feb 2022 21:53:30 +0000 (13:53 -0800)
"working tree" and "per-worktree ref" were in glossary, but
"worktree" itself wasn't, which has been corrected.

* jc/glossary-worktree:
  glossary: describe "worktree"


Trivial merge