2018-02-03 10:51:06 +01:00
|
|
|
[workspace]
|
2018-08-10 21:33:29 +02:00
|
|
|
members = [ "crates/*" ]
|
2018-08-15 23:23:22 +02:00
|
|
|
|
|
|
|
|
[profile.release]
|
2018-12-20 09:53:29 +01:00
|
|
|
incremental = true
|
2018-08-15 23:23:22 +02:00
|
|
|
debug = true
|
2018-12-30 09:09:17 +01:00
|
|
|
|
|
|
|
|
[patch.'crates-io']
|
2019-01-02 13:27:30 +01:00
|
|
|
cargo_metadata = { git = "https://github.com/matklad/cargo_metadata.git", branch = "well-typed" }
|
