diff options
| author | Jeremy Kolb <[email protected]> | 2020-07-12 00:12:42 +0100 |
|---|---|---|
| committer | Jeremy Kolb <[email protected]> | 2020-07-16 15:51:25 +0100 |
| commit | d7cd88b1a2169e50140730db4bd451350367e5ff (patch) | |
| tree | 3185279ea0b46d16e39ab69e61305b5b4ea93d79 /.github | |
| parent | 9210fcc076808e53e9bde84be26307fc0dc7d688 (diff) | |
Mark machine applicable fixes as preferred
This allows us to run the auto fix command from vscode to automatically
fix all diagnostics in the file.
They are also distinguished in the UI.
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions