diff options
| author | Jonas Schievink <[email protected]> | 2020-10-20 16:48:43 +0100 |
|---|---|---|
| committer | Jonas Schievink <[email protected]> | 2020-10-20 16:53:04 +0100 |
| commit | a54e481646edb151075d12ca6903091abe7cfc4e (patch) | |
| tree | fbf8db1f82d94c52968a96819027883461c3e885 /editors/code | |
| parent | f925735e64cb6aed85f28cacc0a91c1c1bc06bb4 (diff) | |
Simplify diagnostic construction, add unused field
Diffstat (limited to 'editors/code')
0 files changed, 0 insertions, 0 deletions