Automated deployment: Thu Jun 24 16:17:58 UTC 2021 9c144c0f30

3 years ago · afd5b71e64
parent 1a07d79262
commit afd5b71e64
4 changed files with 4 additions and 4 deletions
--- a/en/general-config.html
+++ b/en/general-config.html
@ -150,7 +150,7 @@
                <div id="content" class="content">
                    <main>
                        <h1 id="general-config"><a class="header" href="#general-config">General Config</a></h1>
-<p>This is configuration exposed via the <code>xplr.config.general</code> API. It contains
+<p>This configuration is exposed via the <code>xplr.config.general</code> API. It contains
 the following fields:</p>
 <h2 id="enable_mouse"><a class="header" href="#enable_mouse">enable_mouse</a></h2>
 <p>Type: boolean</p>
--- a/en/print.html
+++ b/en/print.html
@ -362,7 +362,7 @@ following fields:</p>
 <li><a href="node_types.html">node_types</a></li>
 </ul>
 <div style="break-before: page; page-break-before: always;"></div><h1 id="general-config"><a class="header" href="#general-config">General Config</a></h1>
-<p>This is configuration exposed via the <code>xplr.config.general</code> API. It contains
+<p>This configuration is exposed via the <code>xplr.config.general</code> API. It contains
 the following fields:</p>
 <h2 id="enable_mouse"><a class="header" href="#enable_mouse">enable_mouse</a></h2>
 <p>Type: boolean</p>
--- a/en/searchindex.js
+++ b/en/searchindex.js
--- a/en/searchindex.json
+++ b/en/searchindex.json