1
0
mirror of https://github.com/emilk/egui.git synced 2026-06-27 23:13:13 -04:00

Use more workspace dependencies (#3975)

This commit is contained in:
Emil Ernerfeldt
2024-02-05 12:43:58 +01:00
committed by GitHub
parent a5f3881d59
commit bcebfecb84
15 changed files with 46 additions and 51 deletions

View File

@@ -37,6 +37,6 @@ egui = { version = "0.25.0", path = "../egui", default-features = false }
#! ### Optional dependencies
## Enable this when generating docs.
document-features = { version = "0.2", optional = true }
document-features = { workspace = true, optional = true }
serde = { version = "1", optional = true, features = ["derive"] }