From 2b76da0df5f8c8ebd103bdd1d41eb4b5189d7e53 Mon Sep 17 00:00:00 2001
From: johannst
Date: Wed, 11 Jan 2023 15:48:12 +0000
Subject: deploy: 0c50a95dc93471cf69f522adfc31ff4c56c53e9d
---
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 362b04f..1cf5340 100644
--- a/tools/dot.html
+++ b/tools/dot.html
@@ -80,7 +80,7 @@
@@ -186,7 +186,7 @@ digraph {
}
Rendered svg
file.
-
+