diff options
| author |   GitHub Action <action@github.com> | 2023-10-06 22:59:21 +0000 |
|---|---|---|
| committer | GitHub Action <action@github.com> | 2023-10-06 22:59:21 +0000 |
| commit | dfa4989a90e3631b7757639d4dccf84fa9ee029c (patch) | |
| tree | 25f07bef63f9144f664e773d089620fdc0cc705f /versions.json | |
| parent | fb40e7c2fc5aa00bd7d066abfc9fb25c26c5a299 (diff) | |
| download | infini-dfa4989a90e3631b7757639d4dccf84fa9ee029c.tar.gz infini-dfa4989a90e3631b7757639d4dccf84fa9ee029c.zip | |
Deployed 77edb63 to dev with MkDocs 1.5.3 and mike 1.1.2
Diffstat (limited to 'versions.json')
| -rw-r--r-- | versions.json | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/versions.json b/versions.json new file mode 100644 index 00000000..b7522b8f --- /dev/null +++ b/versions.json @@ -0,0 +1 @@ +[{"version": "dev", "title": "dev", "aliases": []}]
\ No newline at end of file |