Martin Boehm b7f7b29b64 Fix port registry generation, regenerate ports table		2023-06-20 20:59:59 +02:00
..
scripts	Fix port registry generation, regenerate ports table	2023-06-20 20:59:59 +02:00