File

plugins/mod_unknown.lua @ 10057:5c9341a1b36f 0.11

scansion/blocking: Remove the right irrelevant thing
author Kim Alvefur <zash@zash.se>
date Thu, 20 Jun 2019 22:25:46 +0200
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