Update mkdocs and fix resulting issues

2022-08-16 22:53:11 +01:00
parent 0abd6c205d
commit 75c93112dc
11 changed files with 380 additions and 15 deletions
@@ -2,6 +2,8 @@
 title: Tips and tricks
 ---

+# Tips and tricks
+
 ## Tips

 ### Linux builds in containers