optional case-insensitivity for searching
authorTony Cook <tony@develop-help.com>
Fri, 7 Jul 2017 01:57:18 +0000 (11:57 +1000)
committerTony Cook <tony@develop-help.com>
Fri, 7 Jul 2017 01:57:18 +0000 (11:57 +1000)
commit5d2a441af0a0ab5331c3e677bab5a6d51fac3bd3
tree67bac6a7f33cec7715f3be6b064bcfd35bcd76de
parentbaf657a3871573864a9427aa29cc4256be36a08f
optional case-insensitivity for searching

with some support work for future run-time selectable case-sensitivity
site/cgi-bin/modules/BSE/Index.pm
site/cgi-bin/modules/BSE/Index/BSE.pm
site/cgi-bin/modules/BSE/Search/BSE.pm
site/cgi-bin/modules/BSE/UI/Search.pm
site/docs/config.pod