Emil Ernerfeldt
|
5d8ef5326b
|
Change build_demo_web.sh option from --fast to --optimize
|
2022-08-02 09:56:38 +02:00 |
|
Emil Ernerfeldt
|
8cf196a34b
|
Use proper shebang for all bash scripts: #!/usr/bin/env bash
|
2022-04-07 17:34:34 +02:00 |
|
Emil Ernerfeldt
|
6f699b3391
|
Replace every ... with … like some sort of crazy person
Also fix some small typos
Closes https://github.com/emilk/egui/pull/736
|
2021-10-13 11:52:34 +02:00 |
|
Emil Ernerfeldt
|
6ad6f56cb1
|
Move shell scripts into sh/ subfolder
|
2021-05-09 13:28:24 +02:00 |
|