Author	SHA1	Message	Date
Andras Schmelczer	286ede5fd3	Add simpler parallel_map	2022-07-09 21:33:14 +02:00
Andras Schmelczer	1d30fd730a	Remove match names	2022-07-08 09:09:46 +02:00
Andras Schmelczer	f7c852951e	Update configfile API	2022-07-08 08:59:24 +02:00
Andras Schmelczer	72ab627a34	Fix typing and minor issues	2022-07-07 14:12:44 +02:00
Andras Schmelczer	50db7b8cb2	Fix batch tests	2022-07-04 23:09:03 +02:00
Andras Schmelczer	aba8676d53	Make cross platform	2022-07-04 21:33:37 +02:00
Andras Schmelczer	00cc8225c5	Move files	2022-07-04 19:31:15 +02:00