deploy: 71a5ea6

MiniZinc · Nov 11, 2024 · 0185397 · 0185397
1 parent f9d0477
commit 0185397
Show file tree

Hide file tree

Showing 5 changed files with 30 additions and 30 deletions.
diff --git a/develop/assets/FileSaver.min-CXyUo2Pf.js → develop/assets/FileSaver.min-Cb9Zw9z5.js b/develop/assets/FileSaver.min-CXyUo2Pf.js → develop/assets/FileSaver.min-Cb9Zw9z5.js
diff --git a/develop/assets/index-BLPhFcF9.css → develop/assets/index-Dvy8bbyH.css b/develop/assets/index-BLPhFcF9.css → develop/assets/index-Dvy8bbyH.css
diff --git a/develop/assets/index-Bfob1G5p.js → develop/assets/index-LzJQc8f_.js b/develop/assets/index-Bfob1G5p.js → develop/assets/index-LzJQc8f_.js
diff --git a/develop/assets/jszip.min-CJzJjgvI.js → develop/assets/jszip.min-BF0XQDN0.js b/develop/assets/jszip.min-CJzJjgvI.js → develop/assets/jszip.min-BF0XQDN0.js
diff --git a/develop/index.html b/develop/index.html
@@ -5,8 +5,8 @@
         <link rel="icon" type="image/png" href="/develop/minizinc-logo.png" />
         <meta name="viewport" content="width=device-width, initial-scale=1.0" />
         <title>MiniZinc Playground</title>
-      <script type="module" crossorigin src="/develop/assets/index-Bfob1G5p.js"></script>
-      <link rel="stylesheet" crossorigin href="/develop/assets/index-BLPhFcF9.css">
+      <script type="module" crossorigin src="/develop/assets/index-LzJQc8f_.js"></script>
+      <link rel="stylesheet" crossorigin href="/develop/assets/index-Dvy8bbyH.css">
     </head>
     <body>
         <main id="app"></main>