Deploy website - based on 677af50

formal-land · Aug 7, 2024 · 2bb730e · 2bb730e
1 parent 51f81ad
commit 2bb730e
Show file tree

Hide file tree

Showing 111 changed files with 112 additions and 119 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.fe49f55e.js" defer="defer"></script>
+<script src="/assets/js/runtime~main.eaa81b53.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.9baf474d.js b/assets/js/a37ddc4b.9baf474d.js