diff options
| author |   GitHub Action <action@github.com> | 2023-12-15 01:18:57 +0000 |
|---|---|---|
| committer | GitHub Action <action@github.com> | 2023-12-15 01:18:57 +0000 |
| commit | c15103048d22c8e3171c8965b8cf15ca99494086 (patch) | |
| tree | 3576617cfc27334b2dc211729255373b088516e1 /dev/src/material/templates/partials/javascripts/outdated.html | |
| parent | 0e73ad5a4b2c6d0fd919fe3ed06d2c2ef9e2d12a (diff) | |
| download | infini-c15103048d22c8e3171c8965b8cf15ca99494086.tar.gz infini-c15103048d22c8e3171c8965b8cf15ca99494086.zip | |
Deployed efb0730e to dev with MkDocs 1.5.3 and mike 2.0.0
Diffstat (limited to 'dev/src/material/templates/partials/javascripts/outdated.html')
| -rw-r--r-- | dev/src/material/templates/partials/javascripts/outdated.html | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/dev/src/material/templates/partials/javascripts/outdated.html b/dev/src/material/templates/partials/javascripts/outdated.html new file mode 100644 index 00000000..640a3669 --- /dev/null +++ b/dev/src/material/templates/partials/javascripts/outdated.html @@ -0,0 +1,4 @@ +{#- + This file was automatically generated - do not edit +-#} +<script>var el=document.querySelector("[data-md-component=outdated]"),outdated=__md_get("__outdated",sessionStorage);!0===outdated&&el&&(el.hidden=!1)</script> |