diff options
| author | William Carroll <wpcarro@gmail.com> | 2020-01-20T12·11+0000 |
|---|---|---|
| committer | William Carroll <wpcarro@gmail.com> | 2020-01-22T21·13+0000 |
| commit | b4a6551dd5817059b2fff7ca59ce5956f045027d (patch) | |
| tree | ee83d786cc7656054f46530995de3ffe8faca2c4 /configs/desktop | |
| parent | 40742c612a59dfad6f6ab21797e2a279be1f1a78 (diff) | |
Drop support for evil-leader
Preferring to use the `general` package for defining leader-prefixed keybindings than `evil-leader`. This TODO has existed for quite awhile, so I'm pleased to finish it! During the cleanup, I deleted some keybindings that I no longer used.
Diffstat (limited to 'configs/desktop')
0 files changed, 0 insertions, 0 deletions