mirror of
https://github.com/gryf/pentadactyl-pm.git
synced 2026-10-19 01:32:32 +02:00
merge new 'incsearch', 'ignorecase', 'smartcase', 'hlsearch' options from MAIN
This commit is contained in:
1 parent
fe87657307
commit
30d9b25d35
5 files changed
+123
-33