Deploying to gh-pages from @ c524c7a 🚀

swyddfa · Sep 8, 2023 · 0247f1f · 0247f1f
1 parent 718ff4b
commit 0247f1f
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="0207a2e1-c9bd-45d5-a7ce-4bee9e0177b5" style="flex-shrink: 0; border-right: solid 1px #ccc; margin-right: 10px">
+  <div id="437e2048-77a3-4ba0-9353-72c49004e900" 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('0207a2e1-c9bd-45d5-a7ce-4bee9e0177b5')
+  const container = document.getElementById('437e2048-77a3-4ba0-9353-72c49004e900')
   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="8f083b28-9180-4ff1-bfab-0b531d36cd2f" style="flex-shrink: 0; border-right: solid 1px #ccc; margin-right: 10px">
+  <div id="59aabba4-5bac-405c-a0db-301840788b97" 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('8f083b28-9180-4ff1-bfab-0b531d36cd2f')
+  const container = document.getElementById('59aabba4-5bac-405c-a0db-301840788b97')
   selectItem(container, container.children[0])
   container.addEventListener('click', (event) => {
     selectItem(container, event.target)