Diff

util/set.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 11788:1ceee8becb1a
child 12986:895a82c5d8d4
line wrap: on
line diff