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

This commit is contained in:
Benjamin 2023-10-08 10:38:52 +00:00
parent c24e14db63
commit 28148c8945
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.