diff options
author | Santi Béjar <santi@agolina.net> | 2009-03-30 12:11:40 +0200 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2009-03-30 09:19:37 -0700 |
commit | 76d3cc50b518d1c28d802ad2917063d8a5d34419 (patch) | |
tree | 2892184f06b3388295b0b88e961302b1715721ab /git-gui/po/glossary/git-gui-glossary.pot | |
parent | Merge branch 'maint' (diff) | |
download | tgif-76d3cc50b518d1c28d802ad2917063d8a5d34419.tar.xz |
Documentation: enhance branch.<name>.{remote,merge}
The documentation for branch.*.merge is very dense, so add a simple
explanation on top of it.
And branch.*.remote also affects 'git push'.
Signed-off-by: Santi Béjar <santi@agolina.net>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'git-gui/po/glossary/git-gui-glossary.pot')
0 files changed, 0 insertions, 0 deletions