Diff

tools/make_repo.lua @ 12683:75f0c69eba71

core.usermanager: Link to docs for new role API to make warning more actionable
author Kim Alvefur <zash@zash.se>
date Sat, 27 Aug 2022 17:01:36 +0200
parent 10177:e9b47fcde93c
line wrap: on
line diff