1
0
mirror of https://github.com/emilk/egui.git synced 2026-08-31 13:50:04 -04:00

Minor API improvements

This commit is contained in:
Emil Ernerfeldt
2019-04-25 18:07:36 +02:00
parent 4836860c7b
commit 1d6bc3baba
12 changed files with 125 additions and 77 deletions

View File

@@ -6,10 +6,3 @@ members = [
"example_glium",
"example_wasm",
]
# Optimize for small code size:
[profile.dev]
opt-level = "s"
[profile.release]
opt-level = "s"