From ece5fda25e70409032a16ea1cd64b0457279607b Mon Sep 17 00:00:00 2001 From: Alyssa Rosenzweig Date: Mon, 3 Apr 2017 09:19:08 -0700 Subject: Fix -- bug --- docs/misc/patch.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'docs/misc/patch.md') diff --git a/docs/misc/patch.md b/docs/misc/patch.md index 8359ecd6..7b44f7be 100644 --- a/docs/misc/patch.md +++ b/docs/misc/patch.md @@ -88,7 +88,7 @@ it really is. Now to apply that patch in the future, just git clone it again and do with the git revision you found from above:\ -**\$ git reset \--hard REVISIONNUMBER** +**\$ git reset --hard REVISIONNUMBER** Now put patch.git in the git clone directory and do:\ **\$ git apply patch.git** -- cgit v1.2.3-70-g09d2