diff options
| author | LostNeophyte <[email protected]> | 2022-10-27 03:56:28 +0200 |
|---|---|---|
| committer | GitHub <[email protected]> | 2022-10-26 21:56:28 -0400 |
| commit | f834362b68cd529969df1c853b0b96456164a6cb (patch) | |
| tree | d20a5d277a2ba857ec44c72a1f6839254567f1a9 /utils/ci/verify_plugins.lua | |
| parent | b8be029eb91b47513d35b0089bde264392ae0f8c (diff) | |
fix(lsp): don't start servers multiple times (#3347)
Diffstat (limited to 'utils/ci/verify_plugins.lua')
0 files changed, 0 insertions, 0 deletions