Andrew's git
/
gitweb.git
/ diff
summary
|
log
|
commit
| diff |
tree
commit
grep
author
committer
pickaxe
?
re
Merge branch 'ar/wildmatch-foldcase'
author
Junio C Hamano
<gitster@pobox.com>
Tue, 11 Jun 2013 20:31:21 +0000
(13:31 -0700)
committer
Junio C Hamano
<gitster@pobox.com>
Tue, 11 Jun 2013 20:31:21 +0000
(13:31 -0700)
The wildmatch engine did not honor WM_CASEFOLD option correctly.
* ar/wildmatch-foldcase:
wildmatch: properly fold case everywhere
raw
|
combined
(merge:
cf6de29
b79c0c3
)
Trivial merge