diff --git a/examples b/examples index 8464bbb5..605ebe3c 160000 --- a/examples +++ b/examples @@ -1 +1 @@ -Subproject commit 8464bbb5d96022ade33f92ca829c6401fb067d6a +Subproject commit 605ebe3c8c6ab6fdab2fafb1078c5eddf60f0520 diff --git a/scripts/install_devplatforms.py b/scripts/install_devplatforms.py index 26b4a2ff..20481ab4 100644 --- a/scripts/install_devplatforms.py +++ b/scripts/install_devplatforms.py @@ -45,8 +45,6 @@ def main(desktop, names, ownernames): ] if any(skip): continue - print(platform['name']) - continue subprocess.check_call( [ "pio",