Updates

QED-it · Oct 28, 2024 · 53e7c16 · 53e7c16
1 parent d294491
commit 53e7c16
Show file tree

Hide file tree

Showing 5 changed files with 87 additions and 82 deletions.
diff --git a/assets/index-B2KZSd05.css b/assets/index-B2KZSd05.css
diff --git a/assets/index-BbYCpOIb.js b/assets/index-BbYCpOIb.js
diff --git a/assets/index-Bmtj_RBw.css b/assets/index-Bmtj_RBw.css
diff --git a/assets/index-Dg7ikTTU.js b/assets/index-Dg7ikTTU.js
diff --git a/index.html b/index.html
@@ -5,8 +5,8 @@
     <link rel="icon" href="data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAAwAAAAMCAYAAABWdVznAAAAGXRFWHRTb2Z0d2FyZQBNYWNpbnRvc2ggSEQgdjEuOTAg4Baq2gAAAD9JREFUKFNjZGBgYGBgUggUGBoa/N8BgwERnLx9uZkBlJDAyMjKAkYEHETVzkKACGcEAMON0IxtZG6XAAAAAElFTkSuQmCC" type="image/png">
     <meta name="viewport" content="width=device-width, initial-scale=1.0" />
     <title>Artifact Viewer</title>
-    <script type="module" crossorigin src="/web-prover-component/assets/index-BbYCpOIb.js"></script>
-    <link rel="stylesheet" crossorigin href="/web-prover-component/assets/index-Bmtj_RBw.css">
+    <script type="module" crossorigin src="/web-prover-component/assets/index-Dg7ikTTU.js"></script>
+    <link rel="stylesheet" crossorigin href="/web-prover-component/assets/index-B2KZSd05.css">
   </head>
   <body>
     <div id="root"></div>