Set default version to dev in doc/dist with mike 1.1.2

This commit is contained in:
Benjamin 2023-10-08 10:18:55 +00:00
parent f27262f9db
commit 403bce32dc
3 changed files with 11612 additions and 0 deletions

Binary file not shown.

File diff suppressed because one or more lines are too long

Binary file not shown.