3 commits

Author	SHA1	Message	Date
Andras Schmelczer	612f3ac5e1	Improve types	2022-07-07 16:50:10 +02:00
Andras Schmelczer	72ab627a34	Fix typing and minor issues	2022-07-07 14:12:44 +02:00
Andras Schmelczer	00cc8225c5	Move files	2022-07-04 19:31:15 +02:00