egui/.github
Emil Ernerfeldt 46daaa8a34 Improve PR template 2023-08-09 12:51:22 +02:00
..
ISSUE_TEMPLATE Improve issue templates 2022-12-02 09:51:21 +01:00
workflows CI: update list of accepted PR labels 2023-08-09 12:51:08 +02:00
pull_request_template.md Improve PR template 2023-08-09 12:51:22 +02:00