1
0
mirror of https://github.com/emilk/egui.git synced 2026-08-29 04:40:03 -04:00

Rename from "Emigui" to "Egui"

Shorter to type (especially in code).
This commit is contained in:
Emil Ernerfeldt
2020-05-30 10:22:35 +02:00
parent 9f46d8f0be
commit fd5ab736bb
59 changed files with 116 additions and 114 deletions

View File

@@ -1,8 +1,8 @@
[workspace]
members = [
"emigui",
"emigui_glium",
"emigui_wasm",
"egui",
"egui_glium",
"egui_wasm",
"example_glium",
"example_wasm",
]