diff options
| author | MarcoFalke <falke.marco@gmail.com> | 2019-11-21 11:03:19 -0500 |
|---|---|---|
| committer | MarcoFalke <falke.marco@gmail.com> | 2019-11-21 11:03:05 -0500 |
| commit | fa2941bbf47a8a6b79b8db4a87e1aedcf6a29a5e (patch) | |
| tree | c4ed429e3580e96a17c1191f9404c744854131df /.github | |
| parent | fa041875284d01602647519cc452185ba1ad5a8f (diff) | |
ci: Remove unmaintained extended_lint
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions