Documentation: explain push.default option a bit more

diff --git a/Documentation/gitk.txt b/Documentation/gitk.txt
index e10ac58cae4f0a825f391a5fa1eab8114aa27a18..a17a3549363ec2813eb0bc8a3087d0bd9dc032f4 100644 (file)
--- a/Documentation/gitk.txt
+++ b/Documentation/gitk.txt
@@ -7,6 +7,7 @@ gitk - The git repository browser
 
 SYNOPSIS
 --------
+[verse]
 'gitk' [<option>...] [<revs>] [--] [<path>...]
 
 DESCRIPTION