2018-10-19 05:08:45 +00:00
|
|
|
[workspace]
|
|
|
|
members = [
|
2019-04-28 13:24:58 +00:00
|
|
|
"alacritty",
|
|
|
|
"alacritty_terminal",
|
2018-10-19 05:08:45 +00:00
|
|
|
]
|
|
|
|
|
2016-09-23 17:12:11 +00:00
|
|
|
[profile.release]
|
2018-07-29 11:31:25 +00:00
|
|
|
lto = true
|
2018-05-30 09:08:35 +00:00
|
|
|
debug = 1
|
2019-02-05 23:00:14 +00:00
|
|
|
incremental = false
|