view plugins/mod_unknown.lua @ 13183:33b114fbb5de

util.datamanager: Add way to efficiently remove first items in a list Copying data without parsing it should be more performant than parsing it serializing back.
author Kim Alvefur <zash@zash.se>
date Wed, 12 Jul 2023 11:42:41 +0200
parents 28a90f5fea46
children
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