mirror of
https://github.com/emilk/egui.git
synced 2026-06-26 14:49:06 -04:00
d0876a1a60
For consistency with other repositories, i.e. so I can write `git checkout main` without worrying which repo I'm browsing.
924 B
924 B
- Closes https://github.com/emilk/egui/issues/THE_RELEVANT_ISSUE
- I have followed the instructions in the PR template