some syrlinks tweaks and fixes #350

Merged

meierj merged 3 commits from syrlink_fixes_tweaks into develop

2023-01-23 19:06:52 +01:00

Author	SHA1	Message	Date
Robin Mueller	e3726a7078	Merge remote-tracking branch 'origin/develop' into syrlink_fixes_tweaks All checks were successful EIVE/eive-obsw/pipeline/pr-develop This commit looks good Details EIVE/eive-obsw/pipeline/head This commit looks good Details	2023-01-23 16:18:52 +01:00
Robin Mueller	c1b9a0f4ff	some improvements, docs and smaller stuff All checks were successful EIVE/eive-obsw/pipeline/pr-develop This commit looks good Details	2023-01-23 16:18:06 +01:00
Robin Mueller	0419561ff8	some syrlinks tweakd and fixes All checks were successful EIVE/eive-obsw/pipeline/head This commit looks good Details EIVE/eive-obsw/pipeline/pr-develop This commit looks good Details	2023-01-23 15:35:43 +01:00