Documentation: explain push.default option a bit more

diff --git a/Documentation/git-diff-files.txt b/Documentation/git-diff-files.txt
index 8d481948bd9b29393c8884abfef9d0a76c922c2d..906774f0f7e0f907740d1382d48f7859219478e7 100644 (file)
--- a/Documentation/git-diff-files.txt
+++ b/Documentation/git-diff-files.txt
@@ -8,6 +8,7 @@ git-diff-files - Compares files in the working tree and the index
 
 SYNOPSIS
 --------
+[verse]
 'git diff-files' [-q] [-0|-1|-2|-3|-c|--cc] [<common diff options>] [<path>...]
 
 DESCRIPTION