1
0
mirror of https://github.com/emilk/egui.git synced 2026-09-02 14:50:03 -04:00

Update to puffin 0.17 (#3581)

This commit is contained in:
Emil Ernerfeldt
2023-11-19 21:28:42 +01:00
committed by GitHub
parent 30ee478caf
commit 7bfaf49636
9 changed files with 16 additions and 15 deletions

View File

@@ -85,7 +85,7 @@ image = { version = "0.24", optional = true, default-features = false }
# file feature
mime_guess2 = { version = "2", optional = true, default-features = false }
puffin = { version = "0.16", optional = true }
puffin = { workspace = true, optional = true }
syntect = { version = "5", optional = true, default-features = false, features = [
"default-fancy",