Matthias 5e0f64ef55 Pre-commit action should not run pre-commit ... Regular CI will take care of this and point out potential problems		2024-05-28 06:36:13 +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	Pre-commit action should not run pre-commit	2024-05-28 06:36:13 +02:00
dependabot.yml	Update mkdocs as group	2024-04-29 06:32:45 +02: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