diff options
| author |   简律纯 <i@jyunko.cn> | 2023-12-15 10:08:56 +0800 |
|---|---|---|
| committer |   GitHub <noreply@github.com> | 2023-12-15 10:08:56 +0800 |
| commit | d697a1774ad8571e9314e3bd85aa141170587d19 (patch) | |
| tree | cd3c3d84e3288db1f8e574a0b4dfb85e2e40f764 /docs/src/templates/partials/javascripts/outdated.html | |
| parent | 4943d5eff52a75caaccda6a1d84183032f06be26 (diff) | |
| parent | 4dafb0f0a81255193f2a44df5d203239325e2236 (diff) | |
| download | infini-d697a1774ad8571e9314e3bd85aa141170587d19.tar.gz infini-d697a1774ad8571e9314e3bd85aa141170587d19.zip | |
Merge branch 'master' into master
Diffstat (limited to 'docs/src/templates/partials/javascripts/outdated.html')
| -rw-r--r-- | docs/src/templates/partials/javascripts/outdated.html | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/docs/src/templates/partials/javascripts/outdated.html b/docs/src/templates/partials/javascripts/outdated.html new file mode 100644 index 00000000..640a3669 --- /dev/null +++ b/docs/src/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> |