Deploy website - based on 07c7605

formal-land · Aug 13, 2024 · 73d7aa6 · 73d7aa6
1 parent 410dbfa
commit 73d7aa6
Show file tree

Hide file tree

Showing 121 changed files with 124 additions and 124 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.6f8541e4.js" defer="defer"></script>
+<script src="/assets/js/runtime~main.cf226285.js" defer="defer"></script>
 <script src="/assets/js/main.f9cd6a51.js" defer="defer"></script>
 </head>
 <body class="navigation-with-keyboard">

diff --git a/assets/js/3621c1a8.117d7fe1.js b/assets/js/3621c1a8.117d7fe1.js