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 /book/theme/css/general.css | |
| 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 'book/theme/css/general.css')
0 files changed, 0 insertions, 0 deletions