diff options
| author | Pieter de Bie <pdebie@ai.rug.nl> | 2008-02-16 17:48:45 +0100 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2008-02-16 10:56:24 -0800 |
| commit | ceb4cacb42d16e098672d395050f9e61345c4a19 (patch) | |
| tree | 2c3866b3b87f319c3129b0cb2e176a615c9338a7 | |
| parent | 3983caa531d31b2b95647ae60ac23a0e12385718 (diff) | |
| download | git-ceb4cacb42d16e098672d395050f9e61345c4a19.tar.gz git-ceb4cacb42d16e098672d395050f9e61345c4a19.tar.xz | |
Documentation/git-reset: don't mention --mixed for selected-paths reset
The option is accepted, but that is the only form selected-paths
variant of the reset command takes, so there is no point mentioning it.
And while we're at it, use the dashless git call.
Signed-off-by: Pieter de Bie <pdebie@ai.rug.nl>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
| -rw-r--r-- | Documentation/git-reset.txt | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Documentation/git-reset.txt b/Documentation/git-reset.txt index b6bcf4d9d..32fd7fe2e 100644 --- a/Documentation/git-reset.txt +++ b/Documentation/git-reset.txt @@ -8,8 +8,8 @@ git-reset - Reset current HEAD to the specified state SYNOPSIS -------- [verse] -'git-reset' [--mixed | --soft | --hard] [-q] [<commit>] -'git-reset' [--mixed] [-q] [<commit>] [--] <paths>... +'git reset' [--mixed | --soft | --hard] [-q] [<commit>] +'git reset' [-q] [<commit>] [--] <paths>... DESCRIPTION ----------- |