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

Update to puffin 0.16 (#3144)

This commit is contained in:
Emil Ernerfeldt
2023-07-10 12:29:01 +02:00
committed by GitHub
parent 2a2529bb9c
commit 083d61fccd
6 changed files with 18 additions and 63 deletions

View File

@@ -68,7 +68,7 @@ accesskit_winit = { version = "0.14.0", optional = true }
## Enable this when generating docs.
document-features = { version = "0.2", optional = true }
puffin = { version = "0.15", optional = true }
puffin = { version = "0.16", optional = true }
serde = { version = "1.0", optional = true, features = ["derive"] }
webbrowser = { version = "0.8.3", optional = true }