Merge branch 'js/t4130-rename-without-ino' into maint

diff --git a/Documentation/git-mv.txt b/Documentation/git-mv.txt
index 6dcb8b23ec209bfae7a9247a6575889dec7a209b..79449bf98fe56b10f80a2d106dcfb7a3289da555 100644 (file)
--- a/Documentation/git-mv.txt
+++ b/Documentation/git-mv.txt
@@ -35,7 +35,7 @@ OPTIONS
        Skip move or rename actions which would lead to an error
        condition. An error happens when a source is neither existing nor
        controlled by Git, or when it would overwrite an existing
-       file unless '-f' is given.
+       file unless `-f` is given.
 -n::
 --dry-run::
        Do nothing; only show what would happen