You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
 
 
 
 
Emil Ernerfeldt 6e7e88ba80
Use old 1.51 toolchain instead of bleeding edge (#505)
3 years ago
..
ISSUE_TEMPLATE GitHub issue templates: add reminder to check for duplicates 4 years ago
workflows Use old 1.51 toolchain instead of bleeding edge (#505) 3 years ago
pull_request_template.md Improve instructions in PR template 4 years ago