update profile settings
This commit is contained in:
Norbert Morawski committed
1 parent
7bf8f928df
commit
3d44abe392
1 file changed
+1
@@ -12,3 +12,4 @@ rand = "0.8.5"
|
||||
[profile.release]
|
||||
opt-level = 3
|
||||
strip = true
|
||||
debug = false
|
||||
Reference in new issue
Block a user