diff options
| author |   GitHub Action <action@github.com> | 2023-10-07 01:06:09 +0000 |
|---|---|---|
| committer | GitHub Action <action@github.com> | 2023-10-07 01:06:09 +0000 |
| commit | 9032d3d29d3b2a30672fcd8721ae06fc93f97992 (patch) | |
| tree | 427b6e3e9e54902b420ac1b47ad78e7659b310ed /dev/index.html | |
| parent | 847939b444ee2a1a3ca3ccc852294f9afc0ab874 (diff) | |
| download | infini-9032d3d29d3b2a30672fcd8721ae06fc93f97992.tar.gz infini-9032d3d29d3b2a30672fcd8721ae06fc93f97992.zip | |
Set default version to latest with mike 1.1.2
Diffstat (limited to 'dev/index.html')
0 files changed, 0 insertions, 0 deletions