Rodrigo Arias e9c66bd9dd Fix position, size and titles of configs		2022-10-05 15:25:41 +02:00
..
flushing.cfg	Fix position, size and titles of configs	2022-10-05 15:25:41 +02:00
number-running-threads.cfg	Fix position, size and titles of configs	2022-10-05 15:25:41 +02:00
pid.cfg	Fix position, size and titles of configs	2022-10-05 15:25:41 +02:00
tid.cfg	Fix position, size and titles of configs	2022-10-05 15:25:41 +02:00