Merge branch 'jc/bindiff' into next
[gitweb.git] / Documentation / git-reset.txt
index ebcfe5edb73506df698b594f115bc9390f1dae1f..b27399dd419d3b673e230fd3aad21a8e5c1b2e09 100644 (file)
@@ -43,7 +43,7 @@ OPTIONS
        Commit to make the current HEAD.
 
 Examples
-~~~~~~~~
+--------
 
 Undo a commit and redo::
 +