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/genindex.html | |
| parent | ab2ec5763772e07a708892a42ab6e0802573839a (diff) | |
update doc
Diffstat (limited to 'docs/_build/html/genindex.html')
| -rw-r--r-- | docs/_build/html/genindex.html | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/docs/_build/html/genindex.html b/docs/_build/html/genindex.html index 26ca1f15..4c22085f 100644 --- a/docs/_build/html/genindex.html +++ b/docs/_build/html/genindex.html @@ -90,6 +90,7 @@ <li class="toctree-l1"><a class="reference internal" href="validating-api.html">Validating APIs</a></li> <li class="toctree-l1"><a class="reference internal" href="source.html">Building from Source</a></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> |