Deploy website - based on 5db8a16

formal-land · Jul 15, 2024 · 30fb093 · 30fb093
1 parent cd0c9e3
commit 30fb093
Show file tree

Hide file tree

Showing 109 changed files with 109 additions and 109 deletions.
diff --git a/404.html b/404.html
@@ -13,7 +13,7 @@
 <script async src="https://www.googletagmanager.com/gtag/js?id=G-MQLHF4EV4J"></script>
 <script>function gtag(){dataLayer.push(arguments)}window.dataLayer=window.dataLayer||[],gtag("js",new Date),gtag("config","G-MQLHF4EV4J",{anonymize_ip:!0})</script>
 <link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/[email protected]/dist/katex.min.css" integrity="sha384-odtC+0UGzzFL/6PNoE8rX/SPcQDXBJ+uRepguP4QkPCm2LBxH3FA3y+fKSiJ+AmM" crossorigin="anonymous"><link rel="stylesheet" href="/assets/css/styles.1f61d1b4.css">
-<script src="/assets/js/runtime~main.acf12be8.js" defer="defer"></script>
+<script src="/assets/js/runtime~main.6a2029c6.js" defer="defer"></script>
 <script src="/assets/js/main.db5b1621.js" defer="defer"></script>
 </head>
 <body class="navigation-with-keyboard">

diff --git a/assets/js/1df93b7f.0f2020fb.js b/assets/js/1df93b7f.0f2020fb.js
diff --git a/assets/js/1df93b7f.642e7e4a.js b/assets/js/1df93b7f.642e7e4a.js