Refreshes Retype-generated documentation.

Process triggered by nbats.
This commit is contained in:
Retype GitHub Action
2023-10-09 02:18:53 +00:00
parent 7663c921de
commit 977a8ddc2c
26 changed files with 1313 additions and 1173 deletions

View File

@@ -3,7 +3,7 @@
<head>
<meta charset="UTF-8">
<meta name="viewport" content="width=device-width,initial-scale=1">
<meta name="turbo-cache-control" content="no-cache" data-turbo-track="reload" data-track-token="3.5.0.750127817012">
<meta name="turbo-cache-control" content="no-cache" data-turbo-track="reload" data-track-token="3.5.0.750133090261">
<!-- See retype.com -->
<meta name="generator" content="Retype 3.5.0">
@@ -31,11 +31,11 @@
<script data-cfasync="false">(function () { var el = document.documentElement, m = localStorage.getItem("doc_theme"), wm = window.matchMedia; if (m === "dark" || (!m && wm && wm("(prefers-color-scheme: dark)").matches)) { el.classList.add("dark") } else { el.classList.remove("dark") } })();</script>
<link href="../static/favicon.ico" rel="icon">
<link href="../resources/css/retype.css?v=3.5.0.750127817012" rel="stylesheet">
<link href="../resources/css/retype.css?v=3.5.0.750133090261" rel="stylesheet">
<script data-cfasync="false" src="../resources/js/config.js?v=3.5.0.750127817012" data-turbo-eval="false" defer></script>
<script data-cfasync="false" src="../resources/js/config.js?v=3.5.0.750133090261" data-turbo-eval="false" defer></script>
<script data-cfasync="false" src="../resources/js/retype.js?v=3.5.0" data-turbo-eval="false" defer></script>
<script id="lunr-js" data-cfasync="false" src="../resources/js/lunr.js?v=3.5.0.750127817012" data-turbo-eval="false" defer></script>
<script id="lunr-js" data-cfasync="false" src="../resources/js/lunr.js?v=3.5.0.750133090261" data-turbo-eval="false" defer></script>
<link rel="stylesheet" href="static/styles.css">
@@ -989,7 +989,6 @@
<li><a href="https://github.com/aaFn/Bookmark-search-plus-2">Bookmark Search Plus 2</a> - Search Bookmarks</li>
<li><a href="https://blog.webmemex.org/">WebMemex</a> - Organize &amp; Store Webpages</li>
<li><a href="https://bandwidth-hero.com/">Bandwidth Hero</a> - Reduce Browsing Data Usage</li>
<li><a href="https://www.daniel.priv.no/web-extensions/save-data.html">Save-Data: On</a> - Auto-Enable Data Savings Mode</li>
<li><a href="https://add0n.com/tab-discard.html">Auto Tab Discard</a>, <a href="https://github.com/tabwrangler/tabwrangler">Tab Wrangler</a>, <a href="https://github.com/NiklasGollenstede/unload-tabs">UnloadTabs</a> or <a href="https://gioxx.org/chromeaddons/the-marvellous-suspender/">The Marvellous Suspender</a> - Discard Inactive Tabs</li>
<li><a href="https://github.com/bwinton/SnoozeTabs">Snooze Tabs</a> - Temporarily Snooze Tabs</li>
<li><a href="https://autorefresh.io/">AutoRefresh</a> or <a href="https://mybrowseraddon.com/tab-auto-refresh.html">Tab Auto Refresh</a> - Refresh Tabs</li>