Deploying to gh-pages from @ 339074e 🚀

swyddfa · Sep 9, 2023 · 5c2ce7a · 5c2ce7a
1 parent fee8725
commit 5c2ce7a
Show file tree

Hide file tree

Showing 6 changed files with 4 additions and 4 deletions.
diff --git a/docs/latest/cy/.doctrees/environment.pickle b/docs/latest/cy/.doctrees/environment.pickle
diff --git a/docs/latest/cy/.doctrees/index.doctree b/docs/latest/cy/.doctrees/index.doctree
diff --git a/docs/latest/cy/index.html b/docs/latest/cy/index.html
@@ -331,7 +331,7 @@ <h2>Language Server<a class="headerlink" href="#language-server" title="Link to
 </style>
 
 <div class="full-width" style="display: flex">
-  <div id="437e2048-77a3-4ba0-9353-72c49004e900" style="flex-shrink: 0; border-right: solid 1px #ccc; margin-right: 10px">
+  <div id="a0546194-1e2a-4eb3-8325-1fdc449f2cdd" style="flex-shrink: 0; border-right: solid 1px #ccc; margin-right: 10px">
 
 <div data-label="completion" style="margin-right: 5px; border-left: solid 2px white ">
   <label for="completion" style="margin-bottom:0; margin-left: 5px">
@@ -458,7 +458,7 @@ <h2>Language Server<a class="headerlink" href="#language-server" title="Link to
     })
   }
 
-  const container = document.getElementById('437e2048-77a3-4ba0-9353-72c49004e900')
+  const container = document.getElementById('a0546194-1e2a-4eb3-8325-1fdc449f2cdd')
   selectItem(container, container.children[0])
   container.addEventListener('click', (event) => {
     selectItem(container, event.target)

diff --git a/docs/latest/en/.doctrees/environment.pickle b/docs/latest/en/.doctrees/environment.pickle
diff --git a/docs/latest/en/.doctrees/index.doctree b/docs/latest/en/.doctrees/index.doctree
diff --git a/docs/latest/en/index.html b/docs/latest/en/index.html
@@ -331,7 +331,7 @@ <h2>Language Server<a class="headerlink" href="#language-server" title="Link to
 </style>
 
 <div class="full-width" style="display: flex">
-  <div id="59aabba4-5bac-405c-a0db-301840788b97" style="flex-shrink: 0; border-right: solid 1px #ccc; margin-right: 10px">
+  <div id="fc90e1b7-842f-44ab-ac20-8c216c356c91" style="flex-shrink: 0; border-right: solid 1px #ccc; margin-right: 10px">
 
 <div data-label="completion" style="margin-right: 5px; border-left: solid 2px white ">
   <label for="completion" style="margin-bottom:0; margin-left: 5px">
@@ -458,7 +458,7 @@ <h2>Language Server<a class="headerlink" href="#language-server" title="Link to
     })
   }
 
-  const container = document.getElementById('59aabba4-5bac-405c-a0db-301840788b97')
+  const container = document.getElementById('fc90e1b7-842f-44ab-ac20-8c216c356c91')
   selectItem(container, container.children[0])
   container.addEventListener('click', (event) => {
     selectItem(container, event.target)