aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorPieter de Bie <pdebie@ai.rug.nl>2008-02-16 17:48:45 +0100
committerJunio C Hamano <gitster@pobox.com>2008-02-16 10:56:24 -0800
commitceb4cacb42d16e098672d395050f9e61345c4a19 (patch)
tree2c3866b3b87f319c3129b0cb2e176a615c9338a7
parent3983caa531d31b2b95647ae60ac23a0e12385718 (diff)
downloadgit-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.txt4
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
-----------