der richter e661165ead github/workflows: add editorconfig linting		2024-10-24 17:40:26 +02:00
..
ISSUE_TEMPLATE	github/issue_template: don't use markdown for "Important Information"	2024-08-19 12:34:42 +02:00
workflows	github/workflows: add editorconfig linting	2024-10-24 17:40:26 +02:00
PULL_REQUEST_TEMPLATE	github: try to get contributors to read contribute.md	2019-10-01 21:44:57 +02:00