deploy: 096c883

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

Hide file tree

Showing 5 changed files with 6 additions and 6 deletions.
diff --git a/assets/FileSaver.min-0ec2874a.js → assets/FileSaver.min-3b439e34.js b/assets/FileSaver.min-0ec2874a.js → assets/FileSaver.min-3b439e34.js
diff --git a/assets/index-ea4a44ce.css → assets/index-6b340418.css b/assets/index-ea4a44ce.css → assets/index-6b340418.css
diff --git a/assets/index-8f37be61.js → assets/index-f7795688.js b/assets/index-8f37be61.js → assets/index-f7795688.js
diff --git a/assets/jszip.min-053ef4f0.js → assets/jszip.min-b9da8fca.js b/assets/jszip.min-053ef4f0.js → assets/jszip.min-b9da8fca.js
diff --git a/index.html b/index.html
@@ -5,8 +5,8 @@
     <link rel="icon" type="image/png" href="./minizinc-logo.png" />
     <meta name="viewport" content="width=device-width, initial-scale=1.0" />
     <title>MiniZinc Playground</title>
-    <script type="module" crossorigin src="./assets/index-8f37be61.js"></script>
-    <link rel="stylesheet" href="./assets/index-ea4a44ce.css">
+    <script type="module" crossorigin src="./assets/index-f7795688.js"></script>
+    <link rel="stylesheet" href="./assets/index-6b340418.css">
   </head>
   <body>
     <main id="app"></main>