Merge branch 'es/worktree-docs'
authorJunio C Hamano <gitster@pobox.com>
Wed, 25 Apr 2018 04:29:02 +0000 (13:29 +0900)
committerJunio C Hamano <gitster@pobox.com>
Wed, 25 Apr 2018 04:29:02 +0000 (13:29 +0900)
commit6b747fc72399c2fed6922375fe0a290f98649acf
treea94ff4f53f1513b617db7d396c88e32eedd879bd
parent8b22d132434a1e8dbb1080edd8407dd5ea509068
parent22d11a6e8e2d0aa6f5930477c3509483dbe4545a
Merge branch 'es/worktree-docs'

Doc updates.

* es/worktree-docs:
  git-worktree.txt: unify command-line prompt in example blocks
  git-worktree.txt: recommend 'git worktree remove' over manual deletion
Documentation/git-worktree.txt