diff options
author | gibbz00 | 2023-05-29 19:42:24 +0000 |
---|---|---|
committer | Blaž Hrastnik | 2023-06-07 01:11:13 +0000 |
commit | 39773e48d32edd76d98b7b25224db2b6d24937be (patch) | |
tree | 4172bef7219f6e153dcf2d8f10703f62131de0ce /runtime/queries/latex | |
parent | d20c1632a7331876215db59410361f0605f2f3ed (diff) |
Remove superfluous command description pruning for keymap infobox:
Exist under the wrong (possibly just outdated) assumption that command
descriptions are written with their `KeyTrie` name prefixed
Diffstat (limited to 'runtime/queries/latex')
0 files changed, 0 insertions, 0 deletions