[#3918] added --dev flag, dev log printer and some minor log UI enhacements

2023-12-16 15:41:12 +02:00
parent bf5eba0384
commit 5c961f8537
43 changed files with 3771 additions and 3411 deletions
@@ -45,8 +45,8 @@
        window.Prism = window.Prism || {};
        window.Prism.manual = true;
    </script>
-  <script type="module" crossorigin src="./assets/index-96bcf9fd.js"></script>
-  <link rel="stylesheet" href="./assets/index-8bfb85d6.css">
+  <script type="module" crossorigin src="./assets/index-01439a1a.js"></script>
+  <link rel="stylesheet" href="./assets/index-c19e0dde.css">
 </head>
 <body>
    <div id="app"></div>