Andrew's git
/
gitweb.git
/ diff
summary
|
log
|
commit
| diff |
tree
commit
grep
author
committer
pickaxe
?
re
Merge branch 'ar/wildmatch-foldcase' into maint
author
Junio C Hamano
<gitster@pobox.com>
Wed, 3 Jul 2013 22:31:27 +0000
(15:31 -0700)
committer
Junio C Hamano
<gitster@pobox.com>
Wed, 3 Jul 2013 22:31:27 +0000
(15:31 -0700)
The wildmatch engine did not honor WM_CASEFOLD option correctly.
* ar/wildmatch-foldcase:
wildmatch: properly fold case everywhere
raw
|
combined
(merge:
318e758
b79c0c3
)
Trivial merge