Diff

core/usermanager.lua @ 12500:88e1b94105ae 0.12

util.jsonschema: Lua <5.3 compat here too
author Kim Alvefur <zash@zash.se>
date Mon, 09 May 2022 22:39:05 +0200
parent 12333:ed8a4f8dfd27
child 12642:9061f9621330
line wrap: on
line diff