diff options
| author | kjeremy <[email protected]> | 2020-07-21 19:18:22 +0100 |
|---|---|---|
| committer | kjeremy <[email protected]> | 2020-07-21 19:18:22 +0100 |
| commit | 79a3dd085c2e9b906c33a1ae1194449d02832036 (patch) | |
| tree | 5c5bf030798d9076aa18095dad587eea1a4a76a7 /editors | |
| parent | 97927146dbdcd17a1569f0bb8a4b56fcf347f03c (diff) | |
Clear diagnostics for known file version on close
Diffstat (limited to 'editors')
0 files changed, 0 insertions, 0 deletions