docs: enable "edit" functionality for docs

pull/11945/head
Matthias 8 months ago
parent 049cc10169
commit e63017a2b9

@ -68,6 +68,7 @@ theme:
- content.code.annotate
- search.share
- content.code.copy
- content.action.edit
- navigation.top
- navigation.footer
palette:

Loading…
Cancel
Save