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 /docs/dev/syntax.md | |
parent | 97927146dbdcd17a1569f0bb8a4b56fcf347f03c (diff) |
Clear diagnostics for known file version on close
Diffstat (limited to 'docs/dev/syntax.md')
0 files changed, 0 insertions, 0 deletions