Revert "Enable Mike as versioning provider"

This reverts commit cc35caeb5c.
Dieser Commit ist enthalten in:
DerLinkman 2023-01-09 16:06:42 +01:00
Ursprung cc35caeb5c
Commit 658fc3428e
2 geänderte Dateien mit 0 neuen und 3 gelöschten Zeilen

Datei anzeigen

@ -392,8 +392,6 @@ extra:
palette:
primary: indigo
accent: orange
version:
provider: mike
extra_css: [ assets/stylesheets/extra.css ]
extra_javascript:
- assets/javascripts/client.js

Datei anzeigen

@ -3,4 +3,3 @@ mkdocs-redirects==1.2.0
pygments==2.14
mkdocs-static-i18n==0.53
mkdocs-git-revision-date-localized-plugin==1.1.0
mike==1.1.2