Rodrigo Arias bb1ff36a58 Remove synchronization group by default		2022-10-05 16:33:18 +02:00
..
flushing.cfg	Remove synchronization group by default	2022-10-05 16:33:18 +02:00
number-running-threads.cfg	Remove synchronization group by default	2022-10-05 16:33:18 +02:00
pid.cfg	Remove synchronization group by default	2022-10-05 16:33:18 +02:00
tid.cfg	Remove synchronization group by default	2022-10-05 16:33:18 +02:00