diff options
author | gibbz00 | 2023-06-03 08:59:54 +0000 |
---|---|---|
committer | Blaž Hrastnik | 2023-06-07 01:11:13 +0000 |
commit | b8563685ec44fd6958514f478d879ba785e916ad (patch) | |
tree | ed629b016987efcb5263637ef2e93dc90883a733 /runtime/queries/opencl/indents.scm | |
parent | eda4c79f2f9e8383bda1ccc995c02223904f8be1 (diff) |
Move `keymap.reverse_keymap()` to `Keytrie`:
The plan is let `Keymaps` simply store `KeyTrie`s, as the `Keymap(Keytrie)` wrapping serves little to no purpose.
Diffstat (limited to 'runtime/queries/opencl/indents.scm')
0 files changed, 0 insertions, 0 deletions