deploy: 6ab86a1

MiniZinc · Nov 4, 2024 · f9d0477 · f9d0477
1 parent fa7c10a
commit f9d0477
Show file tree

Hide file tree

Showing 4 changed files with 30 additions and 30 deletions.
diff --git a/develop/assets/FileSaver.min-DPMjW-4v.js → develop/assets/FileSaver.min-CXyUo2Pf.js b/develop/assets/FileSaver.min-DPMjW-4v.js → develop/assets/FileSaver.min-CXyUo2Pf.js
diff --git a/develop/assets/index-ChfYSRL7.js → develop/assets/index-Bfob1G5p.js b/develop/assets/index-ChfYSRL7.js → develop/assets/index-Bfob1G5p.js
diff --git a/develop/assets/jszip.min-5ix_4ome.js → develop/assets/jszip.min-CJzJjgvI.js b/develop/assets/jszip.min-5ix_4ome.js → develop/assets/jszip.min-CJzJjgvI.js
diff --git a/develop/index.html b/develop/index.html
@@ -5,7 +5,7 @@
         <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-ChfYSRL7.js"></script>
+      <script type="module" crossorigin src="/develop/assets/index-Bfob1G5p.js"></script>
       <link rel="stylesheet" crossorigin href="/develop/assets/index-BLPhFcF9.css">
     </head>
     <body>