fix: double key handling and make insensitive search the default - #157

fix: double key handling and make insensitive search the default#157

dlvhdr merged 1 commit into

maindlvhdr/diffnav:mainfrom

dlvhdr/fix-double-key-handlingdlvhdr/diffnav:dlvhdr/fix-double-key-handlingCopy head branch name to clipboard