diff options
| author | Jiri Suchan <yed@vanyli.net> | 2022-08-23 22:21:46 +0900 |
|---|---|---|
| committer | Jiri Suchan <yed@vanyli.net> | 2022-09-30 19:03:17 +0700 |
| commit | c5bd2f9dce17f3e6bf7d9681243e2743633db6f0 (patch) | |
| tree | 5cc835252cc999d086deaf05f3821ef3ce9e37e8 /doc/classes/Theme.xml | |
| parent | f47979f0874b2ca6134e71575fbb359c6cc5ced0 (diff) | |
ci: add Python static analysis check via mypy
Diffstat (limited to 'doc/classes/Theme.xml')
0 files changed, 0 insertions, 0 deletions