- add_role, remove_role: fix case when role is already set/no longer set
authorMark Huang <mlhuang@cs.princeton.edu>
Fri, 6 Oct 2006 19:06:06 +0000 (19:06 +0000)
committerMark Huang <mlhuang@cs.princeton.edu>
Fri, 6 Oct 2006 19:06:06 +0000 (19:06 +0000)
commitf7483d71b65af5feb6973e8bbe59c44c3c31211e
tree1d5f97d0932857177fb32f5baea3c529ed55942a
parent81722f731e621723879029374a67b9ab23f50279
- add_role, remove_role: fix case when role is already set/no longer set
PLC/Persons.py