diff options
| author | Wuzzy <wuzzy2@mail.ru> | 2021-02-19 18:59:48 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-02-19 19:59:48 +0100 |
| commit | c12e9cdcba6b4183de6df4fd05f61a06f804642c (patch) | |
| tree | 309d56e8b2d47216d0a4c3dfb44b1111e8fe4672 /util/ci/lint.sh | |
| parent | e441ab9675238b9530cf6ab1911fa9b5fd4ae13e (diff) | |
| download | minetest-c12e9cdcba6b4183de6df4fd05f61a06f804642c.tar.gz minetest-c12e9cdcba6b4183de6df4fd05f61a06f804642c.tar.bz2 minetest-c12e9cdcba6b4183de6df4fd05f61a06f804642c.zip | |
Fail gracefully if main_menu_script has bad value (#10938)
Builtin: Move :close() before dofile
Diffstat (limited to 'util/ci/lint.sh')
0 files changed, 0 insertions, 0 deletions