diff options
author | Junio C Hamano <gitster@pobox.com> | 2022-12-19 11:46:18 +0900 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2022-12-19 11:46:18 +0900 |
commit | 053650ddad68e376ca8bedffa9eb5a64ee6f8837 (patch) | |
tree | b17255cf8759a4e730da38765907fd7bb4b26f9c /commit.c | |
parent | 4e09e0dae62f685935dd5b5dd0ec145b37d9cbe7 (diff) | |
parent | 9de31f7bd25029eb6e2292ede6df3a646f261de4 (diff) |
Merge branch 'aw/complete-case-insensitive'
Introduce a case insensitive mode to the Bash completion helpers.
* aw/complete-case-insensitive:
completion: add case-insensitive match of pseudorefs
completion: add optional ignore-case when matching refs
Diffstat (limited to 'commit.c')
0 files changed, 0 insertions, 0 deletions