2024-11-21 19:11:57 +00:00
|
|
|
[package]
|
|
|
|
|
name = "auto_update_ui"
|
|
|
|
|
version = "0.1.0"
|
2025-01-17 16:39:22 +00:00
|
|
|
edition.workspace = true
|
|
|
|
|
publish.workspace = true
|
2024-11-21 19:11:57 +00:00
|
|
|
license = "GPL-3.0-or-later"
|
|
|
|
|
|
|
|
|
|
[lints]
|
|
|
|
|
workspace = true
|
|
|
|
|
|
|
|
|
|
[lib]
|
|
|
|
|
path = "src/auto_update_ui.rs"
|
|
|
|
|
|
|
|
|
|
[dependencies]
|
|
|
|
|
anyhow.workspace = true
|
|
|
|
|
auto_update.workspace = true
|
|
|
|
|
client.workspace = true
|
|
|
|
|
editor.workspace = true
|
|
|
|
|
gpui.workspace = true
|
|
|
|
|
http_client.workspace = true
|
|
|
|
|
markdown_preview.workspace = true
|
|
|
|
|
menu.workspace = true
|
|
|
|
|
release_channel.workspace = true
|
|
|
|
|
serde.workspace = true
|
|
|
|
|
serde_json.workspace = true
|
|
|
|
|
smol.workspace = true
|
|
|
|
|
util.workspace = true
|
|
|
|
|
workspace.workspace = true
|
