diff options
| author | Elijah Newren <newren@gmail.com> | 2023-10-08 09:45:20 +0300 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2023-10-09 22:06:29 +0300 |
| commit | 9a9fd289cc81a3bb69eb2b4e11db27509e0eb515 (patch) | |
| tree | 613ec5217e16120fa374f5c60cc815db770e0245 /Documentation/git-update-index.txt | |
| parent | 0cac690e1ac5e26ecf2dba0c53ac3824425446b5 (diff) | |
documentation: use clearer prepositions
Diff best viewed with --color-diff.
Signed-off-by: Elijah Newren <newren@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation/git-update-index.txt')
| -rw-r--r-- | Documentation/git-update-index.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Documentation/git-update-index.txt b/Documentation/git-update-index.txt index 7ac2e37c0a..e030dd75be 100644 --- a/Documentation/git-update-index.txt +++ b/Documentation/git-update-index.txt @@ -127,7 +127,7 @@ you will need to handle the situation manually. -g:: --again:: Runs 'git update-index' itself on the paths whose index - entries are different from those from the `HEAD` commit. + entries are different from those of the `HEAD` commit. --unresolve:: Restores the 'unmerged' or 'needs updating' state of a |