Author	SHA1	Message	Date
Andras Schmelczer	00714bef4e	Improve batch processing API	2022-07-08 09:37:08 +02:00
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