diff options
| author | Pliable Pixels <pliablepixels@gmail.com> | 2019-03-15 09:23:01 -0400 |
|---|---|---|
| committer | Pliable Pixels <pliablepixels@gmail.com> | 2019-03-15 09:23:01 -0400 |
| commit | 39af2422f657f8b5e53af59c7d0dd4fb8d741c38 (patch) | |
| tree | 15943d137b5b9d177ef2a0fa986525f814fb554f /docs/_build/html/source.html | |
| parent | ab2ec5763772e07a708892a42ab6e0802573839a (diff) | |
update doc
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> |