From 658fc3428e72d8b16abef62f920a063b99d5dec0 Mon Sep 17 00:00:00 2001
From: DerLinkman <derlinkman@gmail.com>
Date: Mon, 9 Jan 2023 16:06:42 +0100
Subject: [PATCH] Revert "Enable Mike as versioning provider"

This reverts commit cc35caeb5ca10dcb6751bbacf855be659d0d755b.
---
 mkdocs.yml       | 2 --
 requirements.txt | 1 -
 2 files changed, 3 deletions(-)

diff --git a/mkdocs.yml b/mkdocs.yml
index 7ef7ae4e2..af318aacb 100644
--- a/mkdocs.yml
+++ b/mkdocs.yml
@@ -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
diff --git a/requirements.txt b/requirements.txt
index 621afe41d..8698daae5 100644
--- a/requirements.txt
+++ b/requirements.txt
@@ -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