Diff

core/statsmanager.lua @ 11445:c73744fa3bdf

util.jsonschema: Restructure handling of "properties" and "additionalProperties" This is a bit cleaner, I think
author Kim Alvefur <zash@zash.se>
date Tue, 09 Mar 2021 02:41:47 +0100
parent 10884:6992c4be1a19
child 11506:9a3ebdd65f9c
line wrap: on
line diff