From bac8a5d2822835cf47175d1162030653fadd5c09 Mon Sep 17 00:00:00 2001
From: johannst <johannst@users.noreply.github.com>
Date: Thu, 15 Feb 2024 23:29:57 +0000
Subject: deploy: 4485708c972815bbb6df7f5a228683aa855d553d

---
 tools/dot.html | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'tools/dot.html')

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 -&gt; { stage3_1, stage3_2 }
     // Add edge with custom attributes.
-    stage3_2 -&gt; stage4 [label=&quot;some text&quot;]
+    stage3_2 -&gt; stage4 [label="some text"]
 
     // Set custom attributes for specific node.
-    stage4 [color=green,fillcolor=lightgray,style=&quot;filled,dashed&quot;,label=&quot;s4&quot;]
+    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.
-- 
cgit v1.2.3