Nanne Baars dc0fc09679 Move to main and skip develop
Using main and develop imposes a complicated release process with Gitflow etc. To simplify our release process we move our development to the main branch skipping develop.
2023-01-14 18:24:35 +01:00
..
2023-01-14 18:24:35 +01:00
2023-01-14 18:24:35 +01:00
2023-01-14 18:24:35 +01:00