This repository has been archived on 2025-01-28. You can view files and clone it, but cannot push or open issues or pull requests.
Max Rumpf d89e552419
[Phoebe] Keymap improvements (#9092)
Enable leader key with some useful macros, use fancier design for keymap previews in code, other smaller tweaks
2020-05-15 23:43:10 -07:00
..
2020-05-15 23:43:10 -07:00