Updated HTML docs

This commit is contained in:
Griatch 2022-01-25 23:36:57 +01:00
parent bee4918a99
commit 8cce376bfa
1696 changed files with 282241 additions and 285 deletions

View file

@ -147,6 +147,7 @@ to you, but some things may still be useful.</p>
<h3>Versions</h3>
<ul>
<li><a href="Coding-Overview.html">1.0-dev (develop branch)</a></li>
<li><a href="../../0.9.5/index.html">0.9.5 (v0.9.5 branch)</a></li>
</ul>
</div>