Several trivial documentation touch ups.
[git.git] / Documentation / git-reset.txt
index ebcfe5e..b27399d 100644 (file)
@@ -43,7 +43,7 @@ OPTIONS
        Commit to make the current HEAD.
 
 Examples
-~~~~~~~~
+--------
 
 Undo a commit and redo::
 +