diff --git a/docs/topindex.html b/docs/topindex.html index 5e4cc2b40d..38a8c1d307 100644 --- a/docs/topindex.html +++ b/docs/topindex.html @@ -112,12 +112,6 @@ MicroPython on GitHub
contribute to the source code on GitHub

- {% if port == "wipy" %} - - {% endif %}