Matthias 37da714610 Don't set zsh as default shell		2024-04-27 15:21:42 +02:00
..
.devcontainer	Don't set zsh as default shell	2024-04-27 15:21:42 +02:00
ISSUE_TEMPLATE	Update bug_report.md	2022-10-18 19:26:09 +02:00
workflows	Add github action to pre-build containers	2024-04-27 09:37:25 +00:00
dependabot.yml	chore: add dependency groups for regular updates,	2024-02-08 18:03:52 +01:00
FUNDING.yml	Add Github funding	2022-02-06 14:38:20 +01:00
PULL_REQUEST_TEMPLATE.md	Revert unwanted changes	2022-04-30 14:55:52 +02:00