Skip to content

Lower the priority of normal keymap and remove some shims#664

Merged
DogLooksGood merged 1 commit intomasterfrom
low-priority-normal-keymap
Nov 10, 2024
Merged

Lower the priority of normal keymap and remove some shims#664
DogLooksGood merged 1 commit intomasterfrom
low-priority-normal-keymap

Commits

Commits on Nov 8, 2024