diff options
| author | github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com> | 2023-08-26 16:51:41 +0000 |
|---|---|---|
| committer | github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com> | 2023-08-26 16:51:41 +0000 |
| commit | 9243dae62c999532f6047ff23100333dab5b1559 (patch) | |
| tree | 9f0d1912c3ccbb9480ec144155506f5b6d882908 /stable/contribution/development/logging/index.html | |
| parent | 0649aad296b54918c0b8de8d073a01699fbed0d3 (diff) | |
Deployed 3e00e654 to 0.9.5 with MkDocs 1.5.1 and mike 1.1.2
Diffstat (limited to 'stable/contribution/development/logging/index.html')
| -rw-r--r-- | stable/contribution/development/logging/index.html | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/stable/contribution/development/logging/index.html b/stable/contribution/development/logging/index.html index 484f187d..68916921 100644 --- a/stable/contribution/development/logging/index.html +++ b/stable/contribution/development/logging/index.html @@ -4,13 +4,13 @@ <meta charset="utf-8"> <title>Redirecting</title> <noscript> - <meta http-equiv="refresh" content="1; url=../../../../0.9.4/contribution/development/logging/" /> + <meta http-equiv="refresh" content="1; url=../../../../0.9.5/contribution/development/logging/" /> </noscript> <script> - window.location.replace("../../../../0.9.4/contribution/development/logging/" + window.location.hash); + window.location.replace("../../../../0.9.5/contribution/development/logging/" + window.location.hash); </script> </head> <body> - Redirecting to <a href="../../../../0.9.4/contribution/development/logging/">../../../../0.9.4/contribution/development/logging/</a>... + Redirecting to <a href="../../../../0.9.5/contribution/development/logging/">../../../../0.9.5/contribution/development/logging/</a>... </body> </html>
\ No newline at end of file |