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)
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

1  2 
Documentation/git-worktree.txt
Simple merge