1.1 --- a/docs/src/header.html Wed May 02 18:47:22 2018 +0200
1.2 +++ b/docs/src/header.html Wed May 02 19:16:58 2018 +0200
1.3 @@ -21,17 +21,17 @@
1.4 <li><a href="modules.html">Modules</a>
1.5 <ul>
1.6 <li><a href="modules.html#allocator">Allocator</a></li>
1.7 - <li><a href="modules.html#avl">AVL Tree</a></li>
1.8 + <li><a href="modules.html#avl-tree">AVL Tree</a></li>
1.9 <li><a href="modules.html#buffer">Buffer</a></li>
1.10 <li><a href="modules.html#list">List</a></li>
1.11 <li><a href="modules.html#logging">Logging</a></li>
1.12 <li><a href="modules.html#map">Map</a></li>
1.13 - <li><a href="modules.html#mempool">Memory Pool</a></li>
1.14 + <li><a href="modules.html#memory-pool">Memory Pool</a></li>
1.15 <li><a href="modules.html#properties">Properties</a></li>
1.16 <li><a href="modules.html#stack">Stack</a></li>
1.17 <li><a href="modules.html#string">String</a></li>
1.18 - <li><a href="modules.html#test">Testing</a></li>
1.19 - <li><a href="modules.html#utils">Utilities</a></li>
1.20 + <li><a href="modules.html#testing">Testing</a></li>
1.21 + <li><a href="modules.html#utilities">Utilities</a></li>
1.22 </ul>
1.23 </li>
1.24 <li><a target="_blank" href="api/index.html">API Reference</a></li>
