diff options
| author | Aleksey Kladov <[email protected]> | 2020-07-15 13:37:44 +0100 |
|---|---|---|
| committer | Aleksey Kladov <[email protected]> | 2020-07-15 13:37:44 +0100 |
| commit | a40e05dd5d8b2c5f74c61cd08efed9dc83124657 (patch) | |
| tree | 0cd983f87b9328f683cf70b6207972241b2368cd /editors/code/src | |
| parent | 6f3c8dc11d477a6d680ce018e93f007c31499bd5 (diff) | |
Don't drop flycheck messages during restart
closes #5386
Diffstat (limited to 'editors/code/src')
0 files changed, 0 insertions, 0 deletions