update tools

This commit is contained in:
Philipp Rothmann 2022-08-04 14:27:22 +02:00
parent 08bff5dac9
commit 593a7a11f7
3 changed files with 13 additions and 6 deletions

View file

@ -17,6 +17,10 @@ markdown_extensions:
- admonition
- pymdownx.details
- pymdownx.superfences
- attr_list
- md_in_html
- pymdownx.tabbed:
repo_name: LIT/docs