deploy: d90f855

MiniZinc · Nov 26, 2024 · 6caba61 · 6caba61
1 parent 8175e67
commit 6caba61
Show file tree

Hide file tree

Showing 4 changed files with 16 additions and 16 deletions.
diff --git a/develop/assets/FileSaver.min-2LzSeFMD.js → develop/assets/FileSaver.min-D-d4zJfX.js b/develop/assets/FileSaver.min-2LzSeFMD.js → develop/assets/FileSaver.min-D-d4zJfX.js
diff --git a/develop/assets/index-B0b3wTlj.js → develop/assets/index-CMwRWRrD.js b/develop/assets/index-B0b3wTlj.js → develop/assets/index-CMwRWRrD.js
diff --git a/develop/assets/jszip.min-hMANL6br.js → develop/assets/jszip.min-COjdivG_.js b/develop/assets/jszip.min-hMANL6br.js → develop/assets/jszip.min-COjdivG_.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-B0b3wTlj.js"></script>
+      <script type="module" crossorigin src="/develop/assets/index-CMwRWRrD.js"></script>
       <link rel="stylesheet" crossorigin href="/develop/assets/index-Dvy8bbyH.css">
     </head>
     <body>