mirror of
https://github.com/clusterio/clusterio.git
synced 2026-11-14 07:24:52 +09:00
Implement --add-perms and --remove-perms to add and remove permissions from the role without having to list up all of the permissions in the role again. Rename --permissions to --set-perms to be consistent with the two new options added.