Merge pull request #19140 from joshrotenberg/remove-mdbook-toc-config

doc: remove unused plugin config
This commit is contained in:
Lukas Wirth 2025-02-12 07:48:50 +00:00 committed by GitHub
commit 63b4799379
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -34,8 +34,3 @@ use-boolean-and = true
[output.html.fold]
enable = true
level = 3
[preprocessor.toc]
command = "mdbook-toc"
renderer = ["html"]
max-level = 3