From: Pieter de Bie <pdebie@ai.rug.nl>
Date: Sat, 16 Feb 2008 16:48:45 GMT
Subject: [PATCH 1/2] Documentation: Remove deprecated --mixed option in git-reset synopsis
Message-ID: <1203180526-12020-1-git-send-email-pdebie@ai.rug.nl>

And while we're at it, use the dashless git call

Signed-off-by: Pieter de Bie <pdebie@ai.rug.nl>
---
 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 a4e0a77..2b24641 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
 -----------
-- 
1.5.4.3.gb183