2020-04-24 10:10:01 +00:00
|
|
|
[workspace]
|
|
|
|
members = [
|
|
|
|
"src/util",
|
|
|
|
"src/rpc",
|
|
|
|
"src/table",
|
2020-07-07 11:59:22 +00:00
|
|
|
"src/model",
|
2020-04-24 10:10:01 +00:00
|
|
|
"src/api",
|
|
|
|
"src/garage",
|
|
|
|
]
|
2020-04-21 12:54:55 +00:00
|
|
|
|
2020-04-10 20:55:01 +00:00
|
|
|
[profile.dev]
|
|
|
|
lto = "off"
|
2020-04-16 18:46:43 +00:00
|
|
|
|
|
|
|
[profile.release]
|
|
|
|
debug = true
|