]> git.plutz.net Git - serve0/search
ignore case when sorting, i.e. sort lower and upper case names together