Henrik Lissner 25b9cd1a1c Fix #2616: old keybind to defunct command ... It was replaced in 524985e		2020-02-26 17:43:54 -05:00
..
default	Fix #2616: old keybind to defunct command	2020-02-26 17:43:54 -05:00
literate