mirror of
https://github.com/emilk/egui.git
synced 2026-07-20 05:28:55 +00:00
87f12d782e
* allow setting the progress bar height * changelog entry * remove the changelog entry