diff options
author | Paul Ouellette <oue.paul18@gmail.com> | 2019-02-16 15:06:04 -0500 |
---|---|---|
committer | SmallJoker <SmallJoker@users.noreply.github.com> | 2019-02-16 21:06:04 +0100 |
commit | 291b2446f19209be20c4b7fb7587da44330429fd (patch) | |
tree | 40e58208b1c8ea8e2154e3a4afcf37afae8ae7bc /doc/main_page.dox | |
parent | 568540f8e973da7111e0c063c29bb5e7bc80b7ec (diff) | |
download | minetest-291b2446f19209be20c4b7fb7587da44330429fd.tar.gz minetest-291b2446f19209be20c4b7fb7587da44330429fd.tar.bz2 minetest-291b2446f19209be20c4b7fb7587da44330429fd.zip |
Fix profiler crash by builtin since eea1fda (#8239)
Default to '??' (common Minetest notation) for unknown mods.
Diffstat (limited to 'doc/main_page.dox')
0 files changed, 0 insertions, 0 deletions