Merge pull request #153 from pycom/development

minor update
This commit is contained in:
Islam Wahdan
2019-10-15 01:09:14 +02:00
committed by GitHub

View File

@@ -337,6 +337,13 @@ theme = "doc-theme"
identifier = "tutorials@all@repl"
parent = "tutorials@all"
weight = 10
[[menu.main]]
name = "PyGate"
url = "/tutorials/all/PyGate/"
identifier = "tutorials@all@PyGate"
parent = "tutorials@all"
weight = 10
[[menu.main]]
name = "WLAN"