Updated HTML docs

This commit is contained in:
Griatch 2021-10-26 22:36:27 +02:00
parent db47401471
commit 92c6c7ccd2
1627 changed files with 3102 additions and 3102 deletions

View file

@ -380,7 +380,7 @@ topic here</a>.</p>
<h3>Versions</h3>
<ul>
<li><a href="Debugging.html">1.0-dev (develop branch)</a></li>
<li><a href="../../0.95/index.html">0.95 (v0.9.5 branch)</a></li>
<li><a href="../../0.9.5/index.html">0.9.5 (v0.9.5 branch)</a></li>
</ul>
</div>