deploy: 096c883

MiniZinc · Sep 14, 2023 · a24833d · a24833d
1 parent e477d95
commit a24833d
Show file tree

Hide file tree

Showing 5 changed files with 6 additions and 6 deletions.
diff --git a/develop/assets/FileSaver.min-f8ebd46c.js → develop/assets/FileSaver.min-d4b001e1.js b/develop/assets/FileSaver.min-f8ebd46c.js → develop/assets/FileSaver.min-d4b001e1.js
diff --git a/develop/assets/index-9aa800aa.js → develop/assets/index-1b26c5e1.js b/develop/assets/index-9aa800aa.js → develop/assets/index-1b26c5e1.js
diff --git a/develop/assets/index-ea4a44ce.css → develop/assets/index-6b340418.css b/develop/assets/index-ea4a44ce.css → develop/assets/index-6b340418.css
diff --git a/develop/assets/jszip.min-0cb11090.js → develop/assets/jszip.min-cf451ad1.js b/develop/assets/jszip.min-0cb11090.js → develop/assets/jszip.min-cf451ad1.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-9aa800aa.js"></script>
-    <link rel="stylesheet" href="/develop/assets/index-ea4a44ce.css">
+    <script type="module" crossorigin src="/develop/assets/index-1b26c5e1.js"></script>
+    <link rel="stylesheet" href="/develop/assets/index-6b340418.css">
   </head>
   <body>
     <main id="app"></main>