diff COPYING @ 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 fc7cd6cbe228
children
line wrap: on
line diff