Merge branch 'main' into main

This commit is contained in:
Nuno Coração
2022-10-28 18:34:13 +01:00
committed by GitHub
55 changed files with 362 additions and 133 deletions
+1
View File
@@ -43,6 +43,7 @@ enableCodeCopy = true
showEdit = true
# editURL = "https://github.com/username/repo/"
editAppendPath = true
seriesOpened = false
showHeadingAnchors = true
showPagination = true
invertPagination = false