der richter 96095bd591 github: add newline at end of file of pull request template		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: add newline at end of file of pull request template	2024-10-24 17:40:26 +02:00