cargo: remove unmaintained dev profile
This commit is contained in:
parent
a51f8f2eea
commit
c4fb7b4c41
|
@ -6,10 +6,6 @@ members = [
|
||||||
"experiments",
|
"experiments",
|
||||||
]
|
]
|
||||||
|
|
||||||
[profile.dev]
|
|
||||||
panic = "abort"
|
|
||||||
lto = false
|
|
||||||
|
|
||||||
[profile.release]
|
[profile.release]
|
||||||
panic = "abort"
|
panic = "abort"
|
||||||
debug = true
|
debug = true
|
||||||
|
|
Loading…
Reference in New Issue