SCEX code improvements #224

Merged

meggert merged 2 commits from scex-code-improvements into main

2023-07-27 11:21:39 +02:00

Author	SHA1	Message	Date
Robin Mueller	ab770a0057	Merge remote-tracking branch 'origin/main' into scex-code-improvements All checks were successful EIVE/-/pipeline/head This commit looks good Details	2023-07-27 09:59:49 +02:00
Robin Mueller	0cbf28f25c	scex code improvenemtns Some checks are pending EIVE/-/pipeline/head Build queued... Details	2023-07-27 09:59:34 +02:00