diff options
| author | jdhao <jdhao@hotmail.com> | 2023-07-29 14:31:51 +0200 |
|---|---|---|
| committer | jdhao <jdhao@hotmail.com> | 2023-07-29 14:34:42 +0200 |
| commit | 855a88b5320de91a55d446d4b277a351d79e8c04 (patch) | |
| tree | 256e14bcd84596d978e6d321670664aa9f61298d /lua/config/treesitter.lua | |
| parent | 892cd49f063c34998be3413857e2032e0904c5c8 (diff) | |
fix: user lua conf reloading fails
The cache should be invalidated. This fix does not work 100%, because, e.g.,
there are other configs hiding deeper under lua/config/ directory.
A restart is the best way to reload the config.
Diffstat (limited to 'lua/config/treesitter.lua')
0 files changed, 0 insertions, 0 deletions