diff options
| author |  Junio C Hamano <gitster@pobox.com> | 2014-06-25 11:46:12 -0700 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2014-06-25 11:46:12 -0700 |
| commit | ff7e96b78f3ad9db61fbdfdeaf7b71f254f76310 (patch) | |
| tree | 5931ff763db1eefc6345a4ab54247095f595f2f7 /varint.h | |
| parent | Merge branch 'ow/config-mailmap-pathname' into maint (diff) | |
| parent | completion: add missing options for git-merge (diff) | |
| download | tgif-ff7e96b78f3ad9db61fbdfdeaf7b71f254f76310.tar.xz | |
Merge branch 'jk/complete-merge-pull' into maint
The completion scripts (in contrib/) did not know about quite a few
options that are common between "git merge" and "git pull", and a
couple of options unique to "git merge".
* jk/complete-merge-pull:
completion: add missing options for git-merge
completion: add a note that merge options are shared
Diffstat (limited to 'varint.h')
0 files changed, 0 insertions, 0 deletions