OSDN Git Service

Merge pull request #80 from instantOS/nocase_keysearch
authorpaperbenni <paperbenni@gmail.com>
Sat, 28 Nov 2020 21:34:20 +0000 (22:34 +0100)
committerGitHub <noreply@github.com>
Sat, 28 Nov 2020 21:34:20 +0000 (22:34 +0100)
commit6250615e943cc494482f498b2b644ba87cc35568
tree7f3d3fdffc6f63e24e10057ff3173f4a6ac0418f
parentf3a65e1f0e25a2e0af99aba46a9bc2bea82bfc1e
parentce86206897df30d3d8ac5ee641c04fff98be6462
Merge pull request #80 from instantOS/nocase_keysearch

flow improvements & case-insensitive key search