Joscha 50c7778d38 Use mypy to install library stub packages

2023-04-19 10:12:48 +02:00

..

build

Set up pyinstaller

2021-05-24 15:21:25 +02:00

bump-version

Add script for releasing new versions

2021-05-24 20:23:14 +02:00

check

Set up pyinstaller

2021-05-24 15:21:25 +02:00

format

Set up pyinstaller

2021-05-24 15:21:25 +02:00

setup

Use mypy to install library stub packages

2023-04-19 10:12:48 +02:00