Peter Barker cbed802ff6 .github: remove use of python (as opposed to python3)		2024-10-15 11:11:38 +11:00
..
ISSUE_TEMPLATE	.github: update template engine, fix issue template random linking to PR	2020-02-18 10:09:14 +11:00
problem-matchers	.github: adjust problem-matcher to catch individual failed tests	2024-10-01 09:15:33 +10:00
workflows	.github: remove use of python (as opposed to python3)	2024-10-15 11:11:38 +11:00
CONTRIBUTING.md	git: add discord details to contributing page	2020-07-02 09:50:17 +09:00
SUPPORT.md	…