diff options
author | Krzysztof Mazur <krzysiek@podlesie.net> | 2012-10-28 15:13:27 +0100 |
---|---|---|
committer | Jeff King <peff@peff.net> | 2012-10-29 01:37:07 -0400 |
commit | d505865be5c7d72abb74318940e8c4c52aa0db5f (patch) | |
tree | 55445f3a2acf2f53eb68ac1703a9c7911a07c312 /builtin/push.c | |
parent | 7e2010537e96d0a1144520222f20ba1dc3d61441 (diff) | |
download | git-d505865be5c7d72abb74318940e8c4c52aa0db5f.tar.gz |
doc: git-reset: make "<mode>" optional
The git-reset's "<mode>" is an optional argument, however it was
documented as required.
The "<mode>" is documented as one of: --soft, --mixed, --hard, --merge
or --keep, so "<mode>" should be used instead of "--<mode>".
Signed-off-by: Krzysztof Mazur <krzysiek@podlesie.net>
Signed-off-by: Jeff King <peff@peff.net>
Diffstat (limited to 'builtin/push.c')
0 files changed, 0 insertions, 0 deletions