Deploy website - based on 7066e1b648d92af1812389d6966f310681f77973

formal-land · Aug 6, 2024 · 51f81ad · 51f81ad
1 parent eab1d57
commit 51f81ad
Show file tree

Hide file tree

Showing 111 changed files with 119 additions and 112 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.2efa4b49.js" defer="defer"></script>
+<script src="/assets/js/runtime~main.fe49f55e.js" defer="defer"></script>
 <script src="/assets/js/main.9f35eab7.js" defer="defer"></script>
 </head>
 <body class="navigation-with-keyboard">

diff --git a/assets/js/a37ddc4b.92e11a08.js b/assets/js/a37ddc4b.92e11a08.js
diff --git a/assets/js/a37ddc4b.a8d79737.js b/assets/js/a37ddc4b.a8d79737.js