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