Fabian Boehm 1e7a4b076d vi-mode: Bind "/" to history-pager
This is unused currently, so we can just use it here. Ctrl-s as the
inverse stays because that's shared.

Fixes #2271
2022-10-11 17:47:13 +02:00
..
2022-10-07 16:11:45 +02:00
2022-09-17 21:31:06 +08:00
2022-10-09 15:24:01 +02:00
2022-01-09 23:47:58 +08:00