diff options
| author | Clemens Wasser <[email protected]> | 2020-06-09 20:47:54 +0100 |
|---|---|---|
| committer | Clemens Wasser <[email protected]> | 2020-06-09 20:47:54 +0100 |
| commit | 684b6fa1b8cd41b03ba485084690f78991820645 (patch) | |
| tree | a8a71059e1ee2bd444b53d1aa01fce97ff4686f7 /.github | |
| parent | ba821afa248153a58eede29048d2b21d30a2ea55 (diff) | |
flycheck now uses the configured features
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions