Andras Schmelczer 9b4da9328e Improve parallel map		2022-06-28 18:27:07 +02:00
..
settings.json	Improve parallel map	2022-06-28 18:27:07 +02:00
tasks.json	Minor fixes	2022-06-26 12:22:31 +02:00