Emil Ernerfeldt
|
d0876a1a60
|
Rename `master` branch to `main` (#7034)
For consistency with other repositories, i.e. so I can write `git
checkout main` without worrying which repo I'm browsing.
|
2025-05-08 09:15:42 +02:00 |
lucasmerlin
|
40bf21728d
|
Move gifs to git lfs (#5706)
Since we moved pngs to lfs I think we should also move the gifs there.
* [x] I have followed the instructions in the PR template
|
2025-03-03 15:51:43 +01:00 |
|
Emil Ernerfeldt
|
f0ec2f05c4
|
Fix broken images on egui.rs (move from git lfs to normal git) (#5480)
The images in the widget gallery on egui.rs are broken:
~Not sure why yet, and I fail to reproduce locally.~
It's because they are on git lfs.
|
2024-12-16 14:16:54 +01:00 |
|
lucasmerlin
|
bbbd936f50
|
Exclude icon.png from lfs (#5336)
* Closes #5331
* [x] I have followed the instructions in the PR template
|
2024-11-01 13:21:05 +01:00 |
|
Emil Ernerfeldt
|
68352fc13e
|
CI: check that all png images are on git LFS (#5321)
To prevent egui repository from growing forever
* Sibling PR: https://github.com/emilk/egui/pull/5320
|
2024-10-29 10:30:25 +01:00 |