deploy: 25a7c38

MiniZinc · Sep 14, 2023 · b6c299c · b6c299c
1 parent 40bb93c
commit b6c299c
Show file tree

Hide file tree

Showing 4 changed files with 5 additions and 5 deletions.
diff --git a/develop/assets/FileSaver.min-d51f946c.js → develop/assets/FileSaver.min-f8ebd46c.js b/develop/assets/FileSaver.min-d51f946c.js → develop/assets/FileSaver.min-f8ebd46c.js
diff --git a/develop/assets/index-42d3d144.js → develop/assets/index-9aa800aa.js b/develop/assets/index-42d3d144.js → develop/assets/index-9aa800aa.js
diff --git a/develop/assets/jszip.min-19e8762f.js → develop/assets/jszip.min-0cb11090.js b/develop/assets/jszip.min-19e8762f.js → develop/assets/jszip.min-0cb11090.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-42d3d144.js"></script>
+    <script type="module" crossorigin src="/develop/assets/index-9aa800aa.js"></script>
     <link rel="stylesheet" href="/develop/assets/index-ea4a44ce.css">
   </head>
   <body>