diff options
author | James Walmsley <[email protected]> | 2021-07-11 09:21:21 +0100 |
---|---|---|
committer | GitHub <[email protected]> | 2021-07-11 12:51:21 +0430 |
commit | afe079d821f39763aa46990234a0699fb3ba5fc3 (patch) | |
tree | 69772b4377d41c22334b5ddcf6ac40c5d5c7edca /lua/default-config.lua | |
parent | f2e4f540a3d4b88a751d6b8a2ab8da9407e73e2b (diff) |
[SETTINGS] Ensure <Leader> is mapped before plugin configs are sourced. (#863)
Diffstat (limited to 'lua/default-config.lua')
0 files changed, 0 insertions, 0 deletions