This website requires JavaScript.
Explore
Help
Sign In
migrations
/
egui
Watch
1
Star
0
Fork
0
You've already forked egui
mirror of
https://github.com/emilk/egui.git
synced
2026-08-30 05:10:03 -04:00
Code
Activity
3,820
Commits
172
Branches
65
Tags
085d9b56e9dd432eeb60d10ae6bd73157e701478
Commit Graph
1 Commits
Author
SHA1
Message
Date
lucasmerlin
510b3cdf48
Rename
Marginf
to
MarginF32
for consistency with
CornerRadiusF32
(
#5677
)
...
* [x] I have followed the instructions in the PR template
2025-02-11 11:23:59 +01:00