diff options
author | Patrick Steinhardt <ps@pks.im> | 2015-08-04 15:27:57 +0300 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2015-08-05 22:57:14 +0300 |
commit | 65f9b75dfe34a67cf4c6a8507f999c5710d36ba9 (patch) | |
tree | c404b18564ccf146290a6d4059f6cb37d0cf4346 /Documentation/git-worktree.txt | |
parent | 8cc88166c00e555f1bf5375017ed91b7e2cc904e (diff) |
Documentation/git-worktree: fix duplicated 'from'
Signed-off-by: Patrick Steinhardt <ps@pks.im>
Acked-by: Eric Sunshine <sunshine@sunshineco.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation/git-worktree.txt')
-rw-r--r-- | Documentation/git-worktree.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Documentation/git-worktree.txt b/Documentation/git-worktree.txt index 400b313538..fb68156cf8 100644 --- a/Documentation/git-worktree.txt +++ b/Documentation/git-worktree.txt @@ -124,7 +124,7 @@ thumb is do not make any assumption about whether a path belongs to $GIT_DIR or $GIT_COMMON_DIR when you need to directly access something inside $GIT_DIR. Use `git rev-parse --git-path` to get the final path. -To prevent a $GIT_DIR/worktrees entry from from being pruned (which +To prevent a $GIT_DIR/worktrees entry from being pruned (which can be useful in some situations, such as when the entry's working tree is stored on a portable device), add a file named 'locked' to the entry's directory. The file contains the reason in |