Merge branch 'es/worktree-doc-cleanups'
authorJunio C Hamano <redacted>
Wed, 12 Aug 2020 01:04:12 +0000 (18:04 -0700)
committerJunio C Hamano <redacted>
Wed, 12 Aug 2020 01:04:12 +0000 (18:04 -0700)
Doc cleanup around "worktree".

* es/worktree-doc-cleanups:
  git-worktree.txt: link to man pages when citing other Git commands
  git-worktree.txt: make start of new sentence more obvious
  git-worktree.txt: fix minor grammatical issues
  git-worktree.txt: consistently use term "working tree"
  git-worktree.txt: employ fixed-width typeface consistently


Trivial merge
git clone https://git.99rst.org/PROJECT