diff mod_privilege/mod_privilege.lua @ 4431:8b69e0b56db2

mod_groups_shell: add an admin shell command for updating bookmarks
author Jonas Schäfer <jonas@wielicki.name>
date Fri, 05 Feb 2021 15:45:55 +0100
parents 7454274ead2f
children 3ddab718f717
line wrap: on
line diff