diff options
| author | 2023-10-07 07:03:06 +0800 | |
|---|---|---|
| committer | 2023-10-07 07:03:06 +0800 | |
| commit | 98717fa2a9a803852fff474afaafa5951f5ec74c (patch) | |
| tree | 96ee17c40ec978c2905259fca5b8a9978f9e810a | |
| parent | 77edb63364249ae4a9bf760dd3f8674aa5bc7ed1 (diff) | |
| download | infini-98717fa2a9a803852fff474afaafa5951f5ec74c.tar.gz infini-98717fa2a9a803852fff474afaafa5951f5ec74c.zip | |
| -rw-r--r-- | mkdocs.yml | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -150,7 +150,8 @@ plugins: - search: separator: '[\s\u200b\-_,:!=\[\]()"`/]+|\.(?!\d)|&[lg]t;|(?!\b)(?=[A-Z][a-z])' - git-authors - - mike + - mike: + version_selector: true - mkdocstrings: handlers: python: |
