remove_role

Description:

public void remove_role (string role)

Remove all permissions for role in this.

Parameters:

this

a Permissions
role

a role