diff options
| author | Pherkel | 2023-08-20 15:31:58 +0200 |
|---|---|---|
| committer | Pherkel | 2023-08-20 15:31:58 +0200 |
| commit | 899a5e1cd7ca9b0601ed64ca3157e2052dd3e669 (patch) | |
| tree | 891cedeb665913af1a078a3778afffbccd37bae7 /mypy.ini | |
| parent | 65e812286a82c1c6c98fbbbad0f0d6151cb6812c (diff) | |
disable mypy for pipeline, as it is trash
Diffstat (limited to 'mypy.ini')
0 files changed, 0 insertions, 0 deletions