Emil Ernerfeldt a7b6334784 Misc doc improvements

2022-04-13 22:14:34 +02:00

..

ISSUE_TEMPLATE

Add misc documentation

2022-01-22 09:07:41 +01:00

workflows

Misc doc improvements

2022-04-13 22:14:34 +02:00

pull_request_template.md

Update PR template to suggests users to run ./sh/check.sh

2022-04-03 09:52:25 +02:00