diff options
Diffstat (limited to 'docs/_build/html/source.html')
| -rw-r--r-- | docs/_build/html/source.html | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/docs/_build/html/source.html b/docs/_build/html/source.html index 7d7be7aa..d0c57209 100644 --- a/docs/_build/html/source.html +++ b/docs/_build/html/source.html @@ -116,6 +116,7 @@ </ul> </li> <li class="toctree-l1"><a class="reference internal" href="desktop.html">Desktop port tips</a></li> +<li class="toctree-l1"><a class="reference internal" href="contributing-language.html">Contributing a new language</a></li> </ul> |