diff options
| author |   GitHub Action <action@github.com> | 2023-10-06 23:17:18 +0000 |
|---|---|---|
| committer | GitHub Action <action@github.com> | 2023-10-06 23:17:18 +0000 |
| commit | 17d3363456350d775480fa58c3da7e405d9626e5 (patch) | |
| tree | 526b2390120272b01551fba3b71ab08c1c79f149 /versions.json | |
| parent | 2aa681e4111a8c723bb3f9c6c431332264484bc8 (diff) | |
| download | infini-17d3363456350d775480fa58c3da7e405d9626e5.tar.gz infini-17d3363456350d775480fa58c3da7e405d9626e5.zip | |
Deployed 1712182 to v0.1 with MkDocs 1.5.3 and mike 1.1.2
Diffstat (limited to 'versions.json')
| -rw-r--r-- | versions.json | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/versions.json b/versions.json index b7522b8f..3d74ee86 100644 --- a/versions.json +++ b/versions.json @@ -1 +1 @@ -[{"version": "dev", "title": "dev", "aliases": []}]
\ No newline at end of file +[{"version": "v0.1", "title": "v0.1", "aliases": ["latest"]}, {"version": "dev", "title": "dev", "aliases": []}]
\ No newline at end of file |