comparison mod_jid_prep/mod_jid_prep.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 99cb06b31ae8
children
comparison
equal deleted inserted replaced
4430:71c495fa03f3 4431:8b69e0b56db2