File

plugins/mod_unknown.lua @ 9420:3b8c4b2c6ba1

configure: Remove unnecessary 'echo'
author Matthew Wild <mwild1@gmail.com>
date Mon, 01 Oct 2018 15:31:14 +0100
parent 6003:28a90f5fea46
line wrap: on
line source

-- Unknown platform stub
module:set_global();

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