docs: remove unused plugin

This commit is contained in:
Johannes Kirschbauer
2025-09-16 16:07:36 +02:00
parent 39eb13eebb
commit 3f17a6c121
2 changed files with 0 additions and 2 deletions

View File

@@ -222,7 +222,6 @@ extra:
plugins:
- search
- macros
- redoc-tag
- redirects:
redirect_maps: