diff options
author | Aleksey Kladov <[email protected]> | 2021-06-15 20:38:21 +0100 |
---|---|---|
committer | Aleksey Kladov <[email protected]> | 2021-06-15 20:38:21 +0100 |
commit | 2eef66a2ed9b02962511e38c620efb23e2d65b00 (patch) | |
tree | 40f9d94f858e7467811e0da873bfbf9a3b53c35a /editors | |
parent | 09c4013ec01b5eafc436cb9369a81036297379c1 (diff) |
internal: sanity-check minicore flags
Diffstat (limited to 'editors')
0 files changed, 0 insertions, 0 deletions