deploy: 77ce0d3

MiniZinc · Oct 29, 2024 · fa7c10a · fa7c10a
1 parent cd8227e
commit fa7c10a
Show file tree

Hide file tree

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