Diff

core/usermanager.lua @ 13202:173038306750

plugins: Use get_option_enum where appropriate
author Kim Alvefur <zash@zash.se>
date Sat, 16 Jan 2021 21:04:58 +0100
parent 13169:7b6e7290265b
child 13359:1796370091d4
line wrap: on
line diff