commit | ceb4cacb42d16e098672d395050f9e61345c4a19 | [log] [tgz] |
---|---|---|
author | Pieter de Bie <pdebie@ai.rug.nl> | Sat Feb 16 17:48:45 2008 +0100 |
committer | Junio C Hamano <gitster@pobox.com> | Sat Feb 16 10:56:24 2008 -0800 |
tree | 2c3866b3b87f319c3129b0cb2e176a615c9338a7 | |
parent | 3983caa531d31b2b95647ae60ac23a0e12385718 [diff] |
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>