Update content of files

This commit is contained in:
GitHub Action 2023-10-15 07:19:44 +00:00
parent cce7996ed3
commit 0a4414e9f7

View file

@ -71,7 +71,7 @@
<div class="dev_page_bread_crumbs"></div>
<h1 id="dev_page_title">Version history</h1>
<div id="dev_page_content"><h3><a class="anchor" name="v10-1-2-2023-09-29" href="#v10-1-2-2023-09-29"><i class='anchor-icon'></i></a>10.1.2 <strong>2023-09-29</strong></h3>
<div id="dev_page_content"><h3><a class="anchor" name="v10-1-3-2023-10-15" href="#v10-1-3-2023-10-15"><i class='anchor-icon'></i></a>10.1.3 <strong>2023-10-15</strong></h3>
<ul>
<li>Bug fixes, minor improvements, and more.</li>
</ul>