equal
deleted
inserted
replaced
|
1 digraph Annotation { |
|
2 mindist = 2.0 |
|
3 1 -> 2 [label="appinfo"] |
|
4 1 -> 2 [label="documentation"] |
|
5 2 -> 2 [label="appinfo"] |
|
6 2 -> 2 [label="documentation"] |
|
7 1 [shape=doublecircle, style=filled, color=blue] |
|
8 2 [shape=doublecircle, style=filled, color=green] |
|
9 } |