Diff

tools/make_repo.lua @ 12499:03e307952816 0.12

util.jsonpointer: Fix Lua <5.3 compat
author Kim Alvefur <zash@zash.se>
date Mon, 09 May 2022 22:36:57 +0200
parent 10177:e9b47fcde93c
line wrap: on
line diff