diff options
Diffstat (limited to 'tools/dot.html')
| -rw-r--r-- | tools/dot.html | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/dot.html b/tools/dot.html index 5e45abd..60a5c39 100644 --- a/tools/dot.html +++ b/tools/dot.html @@ -200,10 +200,10 @@ digraph { // Add multiple edges at once. stage2 -> { stage3_1, stage3_2 } // Add edge with custom attributes. - stage3_2 -> stage4 [label="some text"] + stage3_2 -> stage4 [label="some text"] // Set custom attributes for specific node. - stage4 [color=green,fillcolor=lightgray,style="filled,dashed",label="s4"] + stage4 [color=green,fillcolor=lightgray,style="filled,dashed",label="s4"] // Create a subgraph. This can be used to group nodes/edges or as scope for // global node/edge attributes. |