Rodrigo Arias eac6d3479d Set number of windows to one in configs

2022-10-05 16:00:16 +02:00

..

kernel

Fix position, size and titles of configs

2022-10-05 15:25:41 +02:00

nanos6

Fix config titles

2022-10-05 15:58:14 +02:00

nodes

Fix config titles

2022-10-05 15:58:14 +02:00

nosv

Set number of windows to one in configs

2022-10-05 16:00:16 +02:00

openmp

Fix config titles

2022-10-05 15:58:14 +02:00

ovni

Set number of windows to one in configs

2022-10-05 16:00:16 +02:00

tampi

Fix config titles

2022-10-05 15:58:14 +02:00