Add interface to control search case sensitivity. - #13
Open
j5shi wants to merge 19 commits into
Open
Commits
Commits on May 16, 2015
Commits on May 20, 2015
Commits on May 21, 2015
Commits on May 31, 2015
- committed
Commits on Jun 1, 2015
Commits on Jun 6, 2015
- committed
Commits on Jun 18, 2015
- committed
Commits on Jun 22, 2015
Commits on Jun 23, 2015
Commits on Jun 25, 2015
- committed
- committed