mirror of
https://github.com/emilk/egui.git
synced 2026-06-26 22:53:14 -04:00
4e43e65756
* Closes <https://github.com/emilk/egui/issues/1284> (again) * [x] I have followed the instructions in the PR template Short and simple PR, just moves the updated font to the right place. I note that the license for that font says copyright 2014, which might need to be updated to reflect when the font was modified.