diff options
| author | wojciechkepka | 2021-06-19 03:14:40 +0000 |
|---|---|---|
| committer | Blaž Hrastnik | 2021-06-19 04:02:56 +0000 |
| commit | c5a2fd5da394b5b16695af9f2eb437e29be010f0 (patch) | |
| tree | e7614ad9152ad7e29b8b882352559d1a410f7928 /screenshot.png | |
| parent | dd0af78079342b46ae1f4d1b265c7e0cd7519631 (diff) | |
Add `close_language_servers` method on `Editor`
Diffstat (limited to 'screenshot.png')
0 files changed, 0 insertions, 0 deletions