From 285c1cc812d747a72fee84e20b7f8eac407e5b87 Mon Sep 17 00:00:00 2001 From: Pliable Pixels Date: Fri, 15 Mar 2019 14:18:10 -0400 Subject: redoc --- docs/_build/html/guides/FAQ.html | 2 +- docs/_build/html/guides/contributing-language.html | 5 ++++- docs/_build/html/guides/desktop.html | 6 +++--- docs/_build/html/guides/source.html | 11 ++++------- docs/_build/html/guides/validating-api.html | 6 +++--- 5 files changed, 15 insertions(+), 15 deletions(-) (limited to 'docs/_build/html/guides') diff --git a/docs/_build/html/guides/FAQ.html b/docs/_build/html/guides/FAQ.html index 76dfa013..8a403164 100644 --- a/docs/_build/html/guides/FAQ.html +++ b/docs/_build/html/guides/FAQ.html @@ -163,9 +163,9 @@
  • Validating APIs
    • -
  • Building from Source
  • Desktop port tips
  • Contributing a new language
    • +
  • Building from Source
    • diff --git a/docs/_build/html/guides/contributing-language.html b/docs/_build/html/guides/contributing-language.html index 9209812a..d3f3d2bb 100644 --- a/docs/_build/html/guides/contributing-language.html +++ b/docs/_build/html/guides/contributing-language.html @@ -36,6 +36,7 @@ href="../genindex.html"/> + @@ -88,7 +89,6 @@ @@ -228,6 +229,8 @@ translators)

    diff --git a/docs/_build/html/guides/source.html b/docs/_build/html/guides/source.html index 8896bf5e..7e802f33 100644 --- a/docs/_build/html/guides/source.html +++ b/docs/_build/html/guides/source.html @@ -36,8 +36,7 @@ href="../genindex.html"/> - - + @@ -89,6 +88,8 @@ -
  • Building from Source
  • Desktop port tips
  • Contributing a new language
    • +
  • Building from Source
    • @@ -271,7 +271,7 @@ same DNS/IP for zmNinja