diff options
| author | Eric Sunshine <sunshine@sunshineco.com> | 2018-04-09 03:33:59 -0400 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2018-04-09 18:49:22 +0900 |
| commit | 3f0b42bd074fcb49ae9b18522e6b2b8a27aa07b6 (patch) | |
| tree | 1f394feca706d4a9faf5ed53299fe64a682acd38 /builtin/commit.c | |
| parent | b1801b85a32e21a7e83d165b029b5115ab0f8167 (diff) | |
git-worktree.txt: recommend 'git worktree remove' over manual deletion
When cc73385cf6 (worktree remove: new command, 2018-02-12) implemented
and documented 'git worktree remove', it forgot to update existing
instructions suggesting manual deletion. Fix this oversight by
recommending 'git worktree remove' instead.
Signed-off-by: Eric Sunshine <sunshine@sunshineco.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'builtin/commit.c')
0 files changed, 0 insertions, 0 deletions