deploy: e20a084

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

Hide file tree

Showing 5 changed files with 32 additions and 32 deletions.
diff --git a/develop/assets/FileSaver.min-TEj936se.js → develop/assets/FileSaver.min-DEyEnlYC.js b/develop/assets/FileSaver.min-TEj936se.js → develop/assets/FileSaver.min-DEyEnlYC.js
diff --git a/develop/assets/index-BSgKNY-W.js → develop/assets/index-4Uw0sr2o.js b/develop/assets/index-BSgKNY-W.js → develop/assets/index-4Uw0sr2o.js
diff --git a/develop/assets/index-DqW1ax2A.css → develop/assets/index-BLPhFcF9.css b/develop/assets/index-DqW1ax2A.css → develop/assets/index-BLPhFcF9.css
diff --git a/develop/assets/jszip.min-DfrHeZ2E.js → develop/assets/jszip.min-CdzBx_N3.js b/develop/assets/jszip.min-DfrHeZ2E.js → develop/assets/jszip.min-CdzBx_N3.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-BSgKNY-W.js"></script>
-      <link rel="stylesheet" crossorigin href="/develop/assets/index-DqW1ax2A.css">
+      <script type="module" crossorigin src="/develop/assets/index-4Uw0sr2o.js"></script>
+      <link rel="stylesheet" crossorigin href="/develop/assets/index-BLPhFcF9.css">
     </head>
     <body>
         <main id="app"></main>