added attribute for anchor edges
authorMichael Beck <beck@ipd.info.uni-karlsruhe.de>
Fri, 13 Jul 2007 15:31:50 +0000 (15:31 +0000)
committerMichael Beck <beck@ipd.info.uni-karlsruhe.de>
Fri, 13 Jul 2007 15:31:50 +0000 (15:31 +0000)
[r15122]


No differences found