]> git.lizzy.rs Git - micro.git/commit
Merge pull request #121 from onodera-punpun/case_insensitive
authorZachary Yedidia <zyedidia@gmail.com>
Wed, 18 May 2016 16:47:40 +0000 (12:47 -0400)
committerZachary Yedidia <zyedidia@gmail.com>
Wed, 18 May 2016 16:47:40 +0000 (12:47 -0400)
commitb0930a0bb8b71b1aa3de7de36a7ca3cb017629ef
treebc2770afdc5d985d3d7806d70492bd4b5b535c1c
parent04c5bf8832b6fbe15b5e956b96aaab9a1b1c851a
parentbfbfc500186172a190adb03781f9be1601593a83
Merge pull request #121 from onodera-punpun/case_insensitive

search case insensitive