From 3941fd31d1a6314c5639baadc3b44b80118ee970 Mon Sep 17 00:00:00 2001 From: Ruben Arts Date: Wed, 8 Nov 2023 15:39:47 +0100 Subject: [PATCH] docs: remove unused plugin --- mkdocs.yml | 6 ------ pixi.toml | 2 -- 2 files changed, 8 deletions(-) diff --git a/mkdocs.yml b/mkdocs.yml index bac3e6ebb..059890500 100644 --- a/mkdocs.yml +++ b/mkdocs.yml @@ -69,10 +69,4 @@ nav: plugins: - - mkdocstrings: - handlers: - python: - options: - show_source: false - - search diff --git a/pixi.toml b/pixi.toml index 19dc70f18..84b82ca96 100644 --- a/pixi.toml +++ b/pixi.toml @@ -27,6 +27,4 @@ compilers = "1.6.0.*" # Documentation building mkdocs = "1.5.3.*" -mkdocstrings-python = "1.7.1.*" -mkdocstrings = "0.23.0.*" mkdocs-material = "9.4.4.*"