diff options
| author | johannst <johannst@users.noreply.github.com> | 2024-02-15 23:29:57 +0000 |
|---|---|---|
| committer | johannst <johannst@users.noreply.github.com> | 2024-02-15 23:29:57 +0000 |
| commit | bac8a5d2822835cf47175d1162030653fadd5c09 (patch) | |
| tree | 28f312a114cf95ac799daac2a2caec4b8612d84d /tools/dot.html | |
| parent | bfc5ce4bc01e5eb28969eefcc01ecfefa2601fdf (diff) | |
| download | notes-bac8a5d2822835cf47175d1162030653fadd5c09.tar.gz notes-bac8a5d2822835cf47175d1162030653fadd5c09.zip | |
deploy: 4485708c972815bbb6df7f5a228683aa855d553d
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. |