keybindings: add /Default to Ctrl-D@dwarfmode gui/design#3727
Merged
myk002 merged 1 commit intoDFHack:developfrom Sep 3, 2023
Merged
keybindings: add `/Default` to `Ctrl-D@dwarfmode gui/design`#3727myk002 merged 1 commit intoDFHack:developfrom
myk002 merged 1 commit intoDFHack:developfrom