build

2023-01-23 18:13:23 +01:00
parent e81ca0dceb
commit 70add78a6c
6 changed files with 37 additions and 14 deletions
--- a/website/docs/nav.html
+++ b/website/docs/nav.html
@@ -30,7 +30,7 @@
    </body>
    <script>
        function highlightPath () { 
-
+            
        };

        $(document).ready(function () {