mirror of
https://github.com/erg-lang/erg.git
synced 2025-09-29 20:34:44 +00:00
Update version (v0.5.13)
This commit is contained in:
parent
54686b0c59
commit
f2fedf6ae8
4 changed files with 13 additions and 13 deletions
|
@ -18,7 +18,7 @@ unicode = ["erg_common/unicode"]
|
|||
pretty = ["erg_common/pretty"]
|
||||
|
||||
[dependencies]
|
||||
erg_common = { version = "0.5.12", path = "../erg_common" }
|
||||
erg_common = { version = "0.5.13", path = "../erg_common" }
|
||||
|
||||
[lib]
|
||||
path = "lib.rs"
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue