Update content of files

This commit is contained in:
GitHub Action 2024-06-07 19:23:45 +00:00
parent 7eb27909a0
commit d1348f2544

View file

@ -72,7 +72,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-13-1-2024-06-06" href="#v10-13-1-2024-06-06"><i class='anchor-icon'></i></a>10.13.1 <strong>2024-06-06</strong></h3>
<div id="dev_page_content"><h3><a class="anchor" name="v10-13-2-2024-06-07" href="#v10-13-2-2024-06-07"><i class='anchor-icon'></i></a>10.13.2 <strong>2024-06-07</strong></h3>
<ul>
<li>Bug fixes, minor improvements, and more.</li>
</ul>