]> git.ipfire.org Git - thirdparty/git.git/commitdiff
Merge branch 'es/worktree-doc-cleanups'
authorJunio C Hamano <gitster@pobox.com>
Wed, 12 Aug 2020 01:04:12 +0000 (18:04 -0700)
committerJunio C Hamano <gitster@pobox.com>
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