                  
  <li class="dropdown-submenu">
    <a tabindex="-1" href="">License</a>
    <ul class="dropdown-menu">
        
            
<li >
    <a href="../../../misc/gnu-gpl.html">GNU GPLv3</a>
</li>

        
            
<li >
    <a href="../../../misc/doc-license.html">Documentation license</a>
</li>

        
    </ul>
  </li>

                        
                        </ul>
                    </li>
                
                
                </ul>

            <ul class="nav 