2018-02-03 03:51:06 -06:00
|
|
|
[workspace]
|
2018-08-10 14:33:29 -05:00
|
|
|
members = [ "crates/*" ]
|
2018-08-15 16:23:22 -05:00
|
|
|
|
|
|
|
|
[profile.release]
|
2018-12-20 02:53:29 -06:00
|
|
|
incremental = true
|
2019-07-22 10:25:56 -05:00
|
|
|
debug = 1 # only line info
|
2018-12-30 02:09:17 -06:00
|
|
|
|
|
|
|
|
[patch.'crates-io']
|
