diff options
author | Gerrit Pape <pape@smarden.org> | 2009-02-17 12:25:02 +0300 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2009-02-18 21:42:33 +0300 |
commit | bed5122f23c3584f2bae43e1af2f41fbe939c971 (patch) | |
tree | 933df087cdcfdd34323d56b68d6727ead6f452af /t | |
parent | e5887c1bda12b31ea7af0ce798bfdee308e1b176 (diff) |
Documentation/git-push: --all, --mirror, --tags can not be combined
While b259f09 made git-push output a better error message for 'git-push
--all --tags', this commit fixes the synopsis in the documentation.
Inconsistency spotted and fix suggested by Jari Aalto through
http://bugs.debian.org/502567
Signed-off-by: Gerrit Pape <pape@smarden.org>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 't')
0 files changed, 0 insertions, 0 deletions