diff options
| author | Martin Fischer <martin@push-f.com> | 2022-02-24 12:04:32 +0100 |
|---|---|---|
| committer | Martin Fischer <martin@push-f.com> | 2022-02-24 12:04:44 +0100 |
| commit | ef72153e72e7e8a27d01737d245b362ef843f12e (patch) | |
| tree | 8e706daf0f80f1833d5e1286ab559900e0233979 /index.html | |
| parent | 743b5b586b8910b4d8536a8e1b4ff9b74e346f6c (diff) | |
rename Checker.extra_flags to extra_args
Diffstat (limited to 'index.html')
0 files changed, 0 insertions, 0 deletions