Updated HTML docs

This commit is contained in:
Doc builder mechanism 2022-01-21 00:12:02 +00:00
parent 3aaf366163
commit 89ca242330
1696 changed files with 286 additions and 282242 deletions

View file

@ -380,7 +380,6 @@ topic here</a>.</p>
<h3>Versions</h3>
<ul>
<li><a href="Debugging.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>