diff options
| author | jwijenbergh <jeroenwijenbergh@protonmail.com> | 2022-10-14 15:06:36 +0200 |
|---|---|---|
| committer | jwijenbergh <jeroenwijenbergh@protonmail.com> | 2022-10-14 15:16:02 +0200 |
| commit | ef224e5dad25debf4526f2fb017bd771a60448dd (patch) | |
| tree | 63882cce7a4610f0d8f9b94509633a764cbbddc3 /ci | |
| parent | e26dd96631022974223f0f4fba48dc95e036d63d (diff) | |
Python: Proper type annotations
Diffstat (limited to 'ci')
0 files changed, 0 insertions, 0 deletions