diff options
| author | Junio C Hamano <gitster@pobox.com> | 2014-09-19 11:38:38 -0700 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2014-09-19 11:38:38 -0700 |
| commit | 5dbdb3bed63ab1bb0b44a398322d736aafbeb841 (patch) | |
| tree | af17db9e4d0847e570893ebd5e9491d5192286d9 /generate-cmdlist.sh | |
| parent | 49cbc11ddb10e01e569e03b300fd2b4130f1ebba (diff) | |
| parent | af465af8deda8ad685f7704a2dc787845eb317ed (diff) | |
| download | git-5dbdb3bed63ab1bb0b44a398322d736aafbeb841.tar.gz | |
Merge branch 'jc/parseopt-verify-short-name'
Add checks for a common programming mistake to assign the same
short option name to two separate options to help developers.
* jc/parseopt-verify-short-name:
parse-options: detect attempt to add a duplicate short option name
Diffstat (limited to 'generate-cmdlist.sh')
0 files changed, 0 insertions, 0 deletions