- add_person, remove_person, add_node, remove_node: fix case when person/node
authorMark Huang <mlhuang@cs.princeton.edu>
Fri, 6 Oct 2006 19:08:26 +0000 (19:08 +0000)
committerMark Huang <mlhuang@cs.princeton.edu>
Fri, 6 Oct 2006 19:08:26 +0000 (19:08 +0000)
commit25d0df2c73067b69bda924b8ddd0514d7fed5a51
treea1e18d223e5ed23783f2651a2c2d9bc59c2133a4
parent84507e9f37868966f34f1184f902986b6004a812
- add_person, remove_person, add_node, remove_node: fix case when person/node
  is already part of/no longer a part of the slice
PLC/Slices.py