diff options
| author | Matthieu Moy <Matthieu.Moy@imag.fr> | 2012-04-24 09:50:00 +0200 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2012-04-24 12:11:58 -0700 |
| commit | 185c0874b1adea696b47d2fb78aca9a282a86abb (patch) | |
| tree | 5521a8e341ca7e51028d35ec01ded2daf97fce90 /utf8.h | |
| parent | d1ca788fcd34962a65924843ef1d0c773d565030 (diff) | |
| download | git-185c0874b1adea696b47d2fb78aca9a282a86abb.tar.gz | |
Documentation: explain push.default option a bit more
The previous documentation was explaining _what_ the options were doing,
but were of little help explaining _why_ a user should set his default to
either of the options.
Signed-off-by: Matthieu Moy <Matthieu.Moy@imag.fr>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'utf8.h')
0 files changed, 0 insertions, 0 deletions