Merge branch 'jc/bindiff' into next

diff --git a/Documentation/git-reset.txt b/Documentation/git-reset.txt
index ebcfe5edb73506df698b594f115bc9390f1dae1f..b27399dd419d3b673e230fd3aad21a8e5c1b2e09 100644 (file)
--- a/Documentation/git-reset.txt
+++ b/Documentation/git-reset.txt
@@ -43,7 +43,7 @@ OPTIONS
        Commit to make the current HEAD.
 
 Examples
-~~~~~~~~
+--------
 
 Undo a commit and redo::
 +