mirror of
https://github.com/gitui-org/gitui
synced 2026-05-23 17:08:21 +00:00
added badges
This commit is contained in:
parent
e78a157937
commit
6b52b60280
1 changed files with 3 additions and 0 deletions
|
|
@ -40,6 +40,9 @@ serde = "1.0"
|
|||
anyhow = "1.0.31"
|
||||
unicode-width = "0.1"
|
||||
|
||||
[badges]
|
||||
maintenance = { status = "actively-developed" }
|
||||
|
||||
[features]
|
||||
default=[]
|
||||
timing=["scopetime/enabled"]
|
||||
|
|
|
|||
Loading…
Reference in a new issue