From d3e1eff9593501ff8677b9399e1f0625f415ec78 Mon Sep 17 00:00:00 2001
From: johannst <johannst@users.noreply.github.com>
Date: Thu, 7 Dec 2023 23:53:44 +0000
Subject: deploy: b5aea3fb5fcce31599e3d7397d5413a934132231

---
 juicebox_asm/label/struct.Label.html | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'juicebox_asm/label/struct.Label.html')

diff --git a/juicebox_asm/label/struct.Label.html b/juicebox_asm/label/struct.Label.html
index 7f69439..fe7146c 100644
--- a/juicebox_asm/label/struct.Label.html
+++ b/juicebox_asm/label/struct.Label.html
@@ -1,11 +1,11 @@
 <!DOCTYPE html>
 <html lang="en">
 <head>
-    <meta http-equiv="refresh" content="0;URL=../../juicebox_asm/prelude/struct.Label.html">
+    <meta http-equiv="refresh" content="0;URL=../../juicebox_asm/struct.Label.html">
     <title>Redirection</title>
 </head>
 <body>
-    <p>Redirecting to <a href="../../juicebox_asm/prelude/struct.Label.html">../../juicebox_asm/prelude/struct.Label.html</a>...</p>
-    <script>location.replace("../../juicebox_asm/prelude/struct.Label.html" + location.search + location.hash);</script>
+    <p>Redirecting to <a href="../../juicebox_asm/struct.Label.html">../../juicebox_asm/struct.Label.html</a>...</p>
+    <script>location.replace("../../juicebox_asm/struct.Label.html" + location.search + location.hash);</script>
 </body>
 </html>
\ No newline at end of file
-- 
cgit v1.2.3