diff options
| author | github-actions[bot] <github-actions[bot]@users.noreply.github.com> | 2023-09-02 08:31:17 +0000 |
|---|---|---|
| committer | github-actions[bot] <github-actions[bot]@users.noreply.github.com> | 2023-09-02 08:31:17 +0000 |
| commit | 3cd049fd6334a985365084b00ba14c6bf426b1f5 (patch) | |
| tree | 82f5b033600e29607f80b43b3f69fb124b0fe441 /dev/index.html | |
| parent | ff88b42ecd72363263666c7f366cc4632bad7642 (diff) | |
Diffstat (limited to 'dev/index.html')
| -rw-r--r-- | dev/index.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dev/index.html b/dev/index.html index 31f1a61..e9b9c55 100644 --- a/dev/index.html +++ b/dev/index.html @@ -17,7 +17,7 @@ <link rel="next" href="getting_started/"> <link rel="icon" href="assets/images/favicon.png"> - <meta name="generator" content="mkdocs-1.4.3, mkdocs-material-9.1.9"> + <meta name="generator" content="mkdocs-1.5.2, mkdocs-material-9.1.9"> |