2 Commits

Author SHA1 Message Date
Github-actions
4f7e61f735 Automatic linting 2026-01-11 11:13:23 +00:00
Roland Geider
a8ba6fe2d6 Refactor the way the settings are handled.
Instead of a "create-settings" command, which didn't contain all the options
and was a bit awkward, we now have specific settings used for different things.
2025-12-28 21:32:44 +01:00