diff options
author | Rémi Verschelde <rverschelde@gmail.com> | 2022-09-30 17:44:39 +0200 |
---|---|---|
committer | Rémi Verschelde <rverschelde@gmail.com> | 2022-09-30 17:44:39 +0200 |
commit | ef8834a6420e9e9141c48d230a0a312a3aa2597e (patch) | |
tree | 6d65a5230a794e33f5cce71979d34bcab9e8b352 /thirdparty/fonts/NotoSansMalayalamUI_Regular.woff2 | |
parent | 28154b9a07d1eeb372e0757582dd913e2237da74 (diff) | |
parent | c5bd2f9dce17f3e6bf7d9681243e2743633db6f0 (diff) |
Merge pull request #64784 from yedpodtrzitko/yed/ci-add-mypy
ci: add Python static analysis check via mypy
Diffstat (limited to 'thirdparty/fonts/NotoSansMalayalamUI_Regular.woff2')
0 files changed, 0 insertions, 0 deletions