Merge pull request #835 from Debilski/release/v2.5.1 7d06981

ASPP · Oct 9, 2024 · dc77ec2 · dc77ec2
1 parent 923916f
commit dc77ec2
Show file tree

Hide file tree

Showing 10 changed files with 21 additions and 22 deletions.
diff --git a/.buildinfo b/.buildinfo
@@ -1,4 +1,4 @@
 # Sphinx build info version 1
 # This file hashes the configuration used when building these files. When it is not found, a full rebuild will be done.
-config: 29151e8b43c0d99c5940bf28aa942317
+config: 20ce319f3586ebcaa8d17b3b33222f17
 tags: 645f666f9bcd5a90fca523b33c5a78b7
diff --git a/_contributors.html b/_contributors.html
@@ -5,11 +5,11 @@
     <meta charset="utf-8" />
     <meta name="viewport" content="width=device-width, initial-scale=1.0" /><meta name="viewport" content="width=device-width, initial-scale=1" />
 
-    <title>&lt;no title&gt; &#8212; Pelita 2.5.0 documentation</title>
+    <title>&lt;no title&gt; &#8212; Pelita 2.5.1 documentation</title>
     <link rel="stylesheet" type="text/css" href="_static/pygments.css?v=d1102ebc" />
     <link rel="stylesheet" type="text/css" href="_static/basic.css?v=c058f7c8" />
     <link rel="stylesheet" type="text/css" href="_static/alabaster.css?v=27fed22d" />
-    <script src="_static/documentation_options.js?v=3c4615cf"></script>
+    <script src="_static/documentation_options.js?v=983e91d6"></script>
     <script src="_static/doctools.js?v=9a2dae69"></script>
     <script src="_static/sphinx_highlight.js?v=dc90522c"></script>
     <link rel="index" title="Index" href="genindex.html" />
@@ -31,7 +31,7 @@
 
           <div class="body" role="main">
 
-  <p>As of <code class="docutils literal notranslate"><span class="pre">v2.5.0-25-g7cf29c10</span></code> the developers and contributors are:</p>
+  <p>As of <code class="docutils literal notranslate"><span class="pre">v2.5.0-27-g7d069811</span></code> the developers and contributors are:</p>
 <div class="highlight-default notranslate"><div class="highlight"><pre><span></span><span class="n">Rike</span><span class="o">-</span><span class="n">Benjamin</span> <span class="n">Schuppner</span>
 <span class="n">Valentin</span> <span class="n">Haenel</span>
 <span class="n">Tiziano</span> <span class="n">Zito</span>

diff --git a/_sources/_contributors.rst.txt b/_sources/_contributors.rst.txt
@@ -1,4 +1,4 @@
-As of ``v2.5.0-25-g7cf29c10`` the developers and contributors are::
+As of ``v2.5.0-27-g7d069811`` the developers and contributors are::
 
     Rike-Benjamin Schuppner
     Valentin Haenel

diff --git a/_static/documentation_options.js b/_static/documentation_options.js
@@ -1,5 +1,5 @@
 const DOCUMENTATION_OPTIONS = {
-    VERSION: '2.5.0',
+    VERSION: '2.5.1',
     LANGUAGE: 'en',
     COLLAPSE_INDEX: false,
     BUILDER: 'html',

diff --git a/genindex.html b/genindex.html
@@ -4,11 +4,11 @@
   <head>
     <meta charset="utf-8" />
     <meta name="viewport" content="width=device-width, initial-scale=1.0" />
-    <title>Index &#8212; Pelita 2.5.0 documentation</title>
+    <title>Index &#8212; Pelita 2.5.1 documentation</title>
     <link rel="stylesheet" type="text/css" href="_static/pygments.css?v=d1102ebc" />
     <link rel="stylesheet" type="text/css" href="_static/basic.css?v=c058f7c8" />
     <link rel="stylesheet" type="text/css" href="_static/alabaster.css?v=27fed22d" />
-    <script src="_static/documentation_options.js?v=3c4615cf"></script>
+    <script src="_static/documentation_options.js?v=983e91d6"></script>
     <script src="_static/doctools.js?v=9a2dae69"></script>
     <script src="_static/sphinx_highlight.js?v=dc90522c"></script>
     <link rel="index" title="Index" href="#" />

diff --git a/index.html b/index.html
@@ -5,11 +5,11 @@
     <meta charset="utf-8" />
     <meta name="viewport" content="width=device-width, initial-scale=1.0" /><meta name="viewport" content="width=device-width, initial-scale=1" />
 
-    <title>Pelita 2.5.0 &#8212; Pelita 2.5.0 documentation</title>
+    <title>Pelita 2.5.1 &#8212; Pelita 2.5.1 documentation</title>
     <link rel="stylesheet" type="text/css" href="_static/pygments.css?v=d1102ebc" />
     <link rel="stylesheet" type="text/css" href="_static/basic.css?v=c058f7c8" />
     <link rel="stylesheet" type="text/css" href="_static/alabaster.css?v=27fed22d" />
-    <script src="_static/documentation_options.js?v=3c4615cf"></script>
+    <script src="_static/documentation_options.js?v=983e91d6"></script>
     <script src="_static/doctools.js?v=9a2dae69"></script>
     <script src="_static/sphinx_highlight.js?v=dc90522c"></script>
     <link rel="index" title="Index" href="genindex.html" />
@@ -33,7 +33,7 @@
           <div class="body" role="main">
 
   <section id="pelita-version">
-<h1>Pelita 2.5.0<a class="headerlink" href="#pelita-version" title="Link to this heading">¶</a></h1>
+<h1>Pelita 2.5.1<a class="headerlink" href="#pelita-version" title="Link to this heading">¶</a></h1>
 <div class="toctree-wrapper compound">
 </div>
 <div class="container-fluid docutils container">

diff --git a/info.html b/info.html
@@ -5,16 +5,16 @@
     <meta charset="utf-8" />
     <meta name="viewport" content="width=device-width, initial-scale=1.0" /><meta name="viewport" content="width=device-width, initial-scale=1" />
 
-    <title>Project Information &#8212; Pelita 2.5.0 documentation</title>
+    <title>Project Information &#8212; Pelita 2.5.1 documentation</title>
     <link rel="stylesheet" type="text/css" href="_static/pygments.css?v=d1102ebc" />
     <link rel="stylesheet" type="text/css" href="_static/basic.css?v=c058f7c8" />
     <link rel="stylesheet" type="text/css" href="_static/alabaster.css?v=27fed22d" />
-    <script src="_static/documentation_options.js?v=3c4615cf"></script>
+    <script src="_static/documentation_options.js?v=983e91d6"></script>
     <script src="_static/doctools.js?v=9a2dae69"></script>
     <script src="_static/sphinx_highlight.js?v=dc90522c"></script>
     <link rel="index" title="Index" href="genindex.html" />
     <link rel="search" title="Search" href="search.html" />
-    <link rel="prev" title="Pelita 2.5.0" href="index.html" />
+    <link rel="prev" title="Pelita 2.5.1" href="index.html" />
 
   <link rel="stylesheet" href="_static/custom.css" type="text/css" />
 
@@ -36,7 +36,7 @@
 <h1>Project Information<a class="headerlink" href="#project-information" title="Link to this heading">¶</a></h1>
 <section id="authors-and-contributors">
 <h2>Authors and Contributors<a class="headerlink" href="#authors-and-contributors" title="Link to this heading">¶</a></h2>
-<p>As of <code class="docutils literal notranslate"><span class="pre">v2.5.0-25-g7cf29c10</span></code> the developers and contributors are:</p>
+<p>As of <code class="docutils literal notranslate"><span class="pre">v2.5.0-27-g7d069811</span></code> the developers and contributors are:</p>
 <div class="highlight-default notranslate"><div class="highlight"><pre><span></span><span class="n">Rike</span><span class="o">-</span><span class="n">Benjamin</span> <span class="n">Schuppner</span>
 <span class="n">Valentin</span> <span class="n">Haenel</span>
 <span class="n">Tiziano</span> <span class="n">Zito</span>
@@ -159,7 +159,7 @@ <h1 class="logo"><a href="index.html">Pelita</a></h1>
 <h3>Related Topics</h3>
 <ul>
   <li><a href="index.html">Documentation overview</a><ul>
-      <li>Previous: <a href="index.html" title="previous chapter">Pelita 2.5.0</a></li>
+      <li>Previous: <a href="index.html" title="previous chapter">Pelita 2.5.1</a></li>
   </ul></li>
 </ul>
 </div>

diff --git a/objects.inv b/objects.inv
@@ -1,7 +1,6 @@
 # Sphinx inventory version 2
 # Project: Pelita
-# Version: 2.5.0
+# Version: 2.5.1
 # The remainder of this file is compressed using zlib.
 xڅ��
-�0��}��^7T�"�݃P�F�f��%�e��^�n���-����)!WvL��-ۃ%#��,�A^s��I�c'a!�Ã�Q�?h+��Zf����+e�m�zF�Ŧ���;�r���
-Rn*�*�V͎P4d<��9��l�aze���T�5aj����S1�s���7o3.��
+�0��}��^7P�"�݃P�F�f[�K�����n�p�[��}�SB��B';�GKFf;Y�������d���B�����u	~�V4ћ��D���+e�m�zG������;�r��Rn.�*�VZ͎P�d<��%��l�a~e�����ajw��iR1�s���5�73���

diff --git a/search.html b/search.html
@@ -4,12 +4,12 @@
   <head>
     <meta charset="utf-8" />
     <meta name="viewport" content="width=device-width, initial-scale=1.0" />
-    <title>Search &#8212; Pelita 2.5.0 documentation</title>
+    <title>Search &#8212; Pelita 2.5.1 documentation</title>
     <link rel="stylesheet" type="text/css" href="_static/pygments.css?v=d1102ebc" />
     <link rel="stylesheet" type="text/css" href="_static/basic.css?v=c058f7c8" />
     <link rel="stylesheet" type="text/css" href="_static/alabaster.css?v=27fed22d" />
 
-    <script src="_static/documentation_options.js?v=3c4615cf"></script>
+    <script src="_static/documentation_options.js?v=983e91d6"></script>
     <script src="_static/doctools.js?v=9a2dae69"></script>
     <script src="_static/sphinx_highlight.js?v=dc90522c"></script>
     <script src="_static/searchtools.js"></script>

diff --git a/searchindex.js b/searchindex.js