tree 2c3866b3b87f319c3129b0cb2e176a615c9338a7
parent 3983caa531d31b2b95647ae60ac23a0e12385718
author Pieter de Bie <pdebie@ai.rug.nl> 1203180525 +0100
committer Junio C Hamano <gitster@pobox.com> 1203188184 -0800

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>