Merge branch 'bs/userdiff-php'

diff --git a/Documentation/git-reflog.txt b/Documentation/git-reflog.txt
index 802bd5791cdc74dfa487d3a5591aea67c22f6060..4eaa62b6913f15c354e8008c2884f476428ebb0b 100644 (file)
--- a/Documentation/git-reflog.txt
+++ b/Documentation/git-reflog.txt
@@ -18,9 +18,7 @@ depending on the subcommand:
 [verse]
 'git reflog expire' [--dry-run] [--stale-fix] [--verbose]
        [--expire=<time>] [--expire-unreachable=<time>] [--all] <refs>...
-+
 'git reflog delete' ref@\{specifier\}...
-+
 'git reflog' ['show'] [log-options] [<ref>]
 
 Reflog is a mechanism to record when the tip of branches are