Merge non mariebuild buildfiles into main #1

Merged
MarieEckert merged 2 commits from topic/mb-less-build into main 2024-01-29 16:15:24 +01:00
MarieEckert commented 2024-01-29 16:15:16 +01:00 (Migrated from github.com)
No description provided.
Sign in to join this conversation.
No description provided.