mirror of
https://github.com/gitui-org/gitui
synced 2026-05-23 08:58:21 +00:00
pin dep
This commit is contained in:
parent
2fa4c7932c
commit
670677044f
1 changed files with 1 additions and 1 deletions
|
|
@ -47,7 +47,7 @@ scopeguard = "1.1"
|
|||
scopetime = { path = "./scopetime", version = "0.1" }
|
||||
serde = "1.0"
|
||||
simplelog = { version = "0.12", default-features = false }
|
||||
struct-patch = "0.2"
|
||||
struct-patch = "0.2.0"
|
||||
syntect = { version = "5.0", default-features = false, features = ["parsing", "default-syntaxes", "default-themes", "html"] }
|
||||
textwrap = "0.16"
|
||||
tui = { version = "0.19", default-features = false, features = ['crossterm', 'serde'] }
|
||||
|
|
|
|||
Loading…
Reference in a new issue