Merge branch 'jk/filter-branch-require-clean-work-tree' into maint

diff --git a/Documentation/git-revert.txt b/Documentation/git-revert.txt
index 3d0a7d1dac5614d6644a0ea226d65bd9f667143a..b311d59c7c06dd696e3c667c97a5982137bdd87a 100644 (file)
--- a/Documentation/git-revert.txt
+++ b/Documentation/git-revert.txt
@@ -93,12 +93,12 @@ effect to your index in a row.
 
 EXAMPLES
 --------
-git revert HEAD~3::
+`git revert HEAD~3`::
 
        Revert the changes specified by the fourth last commit in HEAD
        and create a new commit with the reverted changes.
 
-git revert -n master{tilde}5..master{tilde}2::
+`git revert -n master{tilde}5..master{tilde}2`::
 
        Revert the changes done by commits from the fifth last commit
        in master (included) to the third last commit in master