David Hrdlička e88c91eddc Looks like GitHub is not consistent at case sensitivity :^)

2021-12-01 12:54:15 +01:00

..

ISSUE_TEMPLATE

Looks like GitHub is not consistent at case sensitivity :^)

2021-12-01 12:54:15 +01:00

workflows

Reduce the number of makefile GH jobs

2021-11-15 01:40:36 +01:00

funding.yml

Update bug report template; normalize case

2021-12-01 12:51:12 +01:00

pull_request_template.md

Update pull_request_template.md

2020-11-16 18:08:28 +01:00