Merge jc/diff leftover bits.

diff --git a/Documentation/git-repo-config.txt b/Documentation/git-repo-config.txt
index 33fcde452a3e6e795b93848acc7c4a4656ee1bf0..00efde5f0fbbae009706fbc8b4cb88b4a6f16d80 100644 (file)
--- a/Documentation/git-repo-config.txt
+++ b/Documentation/git-repo-config.txt
@@ -8,6 +8,7 @@ git-repo-config - Get and set options in .git/config.
 
 SYNOPSIS
 --------
+[verse]
 'git-repo-config' [type] name [value [value_regex]]
 'git-repo-config' [type] --replace-all name [value [value_regex]]
 'git-repo-config' [type] --get name [value_regex]