BugFix: fixed wrong usage of edges_notify (exchanged tgt and old_tgt)
authorChristian Würdig <chriswue@ipd.info.uni-karlsruhe.de>
Mon, 12 Feb 2007 12:41:44 +0000 (12:41 +0000)
committerChristian Würdig <chriswue@ipd.info.uni-karlsruhe.de>
Mon, 12 Feb 2007 12:41:44 +0000 (12:41 +0000)
[r8629]


No differences found