Zachary Yedidia 19067a9bf0 Enable ignorecase by default ...

Closes #1908

2020-11-05 15:39:05 -05:00

..

colors.md

Improve keybinding label consistency

2020-06-17 23:11:50 -04:00

commands.md

Improve keybinding label consistency

2020-06-17 23:11:50 -04:00

copypaste.md

Update runtime

2020-07-04 20:06:37 -04:00

defaultkeys.md

Fix typo in defaultkeys (#1730)

2020-06-17 13:35:59 -04:00

help.md

Improve keybinding label consistency

2020-06-17 23:11:50 -04:00

keybindings.md

Update keybinding docs

2020-09-06 17:38:23 -04:00

options.md

Enable ignorecase by default

2020-11-05 15:39:05 -05:00

plugins.md

Fixed help topic name (#1876)

2020-10-06 16:55:47 -04:00

tutorial.md

Improve keybinding label consistency

2020-06-17 23:11:50 -04:00