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 /diff-no-index.c | |
| 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 'diff-no-index.c')
0 files changed, 0 insertions, 0 deletions