From 86aa62bd6a3d745d0f70e0d5f23e57cb4dc49d3c Mon Sep 17 00:00:00 2001
From: Shai Berger <shai@platonix.com>
Date: Tue, 26 Mar 2024 12:30:16 +0200
Subject: [PATCH] A dummy commit to make gh-pages publish

---
 website_2024/docs/tags.html | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/website_2024/docs/tags.html b/website_2024/docs/tags.html
index 3d61ade..e36a942 100644
--- a/website_2024/docs/tags.html
+++ b/website_2024/docs/tags.html
@@ -15,8 +15,6 @@
     <link id="pygments-light-theme" rel="stylesheet" type="text/css"
           href="./theme/pygments/github.min.css">
 
-
-
   <link rel="stylesheet" type="text/css" href="./theme/font-awesome/css/fontawesome.css">
   <link rel="stylesheet" type="text/css" href="./theme/font-awesome/css/brands.css">
   <link rel="stylesheet" type="text/css" href="./theme/font-awesome/css/solid.css">
@@ -152,4 +150,4 @@ <h1 id="tags">Tags</h1>
 }
 </script>
 </body>
-</html>
\ No newline at end of file
+</html>