- add_node, remove_node: fix case when node is already part of/no longer
authorMark Huang <mlhuang@cs.princeton.edu>
Fri, 6 Oct 2006 19:05:31 +0000 (19:05 +0000)
committerMark Huang <mlhuang@cs.princeton.edu>
Fri, 6 Oct 2006 19:05:31 +0000 (19:05 +0000)
commit81722f731e621723879029374a67b9ab23f50279
tree1d860da78e56c876a090617fc8586ad68bdd1117
parent21d36f891935022da612b2cc6e5a9ddbca7c2cd1
- add_node, remove_node: fix case when node is already part of/no longer
  a part of the nodegroup
PLC/NodeGroups.py