Skip to content

Case insensitive search (Fixes #8)

Igor Rodriguez requested to merge case-insensitive-search into master

Make search case insensitive Add close button to the search panel

Merge request reports