plugins/mod_unknown.lua
author Matthew Wild <mwild1@gmail.com>
Tue, 21 Feb 2023 13:30:32 +0000
changeset 12901 220d8d108f16
parent 6003 28a90f5fea46
permissions -rw-r--r--
Merge 0.12->trunk

-- Unknown platform stub
module:set_global();

-- TODO Do things that make sense if we don't know about the platform