diff options
| -rw-r--r-- | Documentation/user-manual.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Documentation/user-manual.txt b/Documentation/user-manual.txt index ce0e91b1da..1eab4aca30 100644 --- a/Documentation/user-manual.txt +++ b/Documentation/user-manual.txt @@ -1406,7 +1406,7 @@ This may be time-consuming. Unlike most other git operations (including git-gc when run without any options), it is not safe to prune while other git operations are in progress in the same repository. -For more about dangling merges, see <<dangling-merges>>. +For more about dangling objects, see <<dangling-objects>>. Recovering lost changes |