Documentation/git-push.txt: minor: compress one option
authorjidanni@jidanni.org <jidanni@jidanni.org>
Mon, 12 Jan 2009 03:05:54 +0000 (11:05 +0800)
committerJunio C Hamano <gitster@pobox.com>
Mon, 12 Jan 2009 05:47:26 +0000 (21:47 -0800)
commit4fc988efe66ea079c926b1f01bf563a946b7797f
treecacb0ce326a992c5195dfd777ad7171687a3e9e0
parent152d70f7287c54135aa93990b462e2d34a39f500
Documentation/git-push.txt: minor: compress one option

Signed-off-by: jidanni <jidanni@jidanni.org>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Documentation/git-push.txt