This repository was archived by the owner on Apr 4, 2023. It is now read-only.
This repository was archived by the owner on Apr 4, 2023. It is now read-only.
Fix picoExtension.js #83
Description
picoExtension.js on master and scratch_extensions/picoExtension.js on gh-pages are different. Idk which is more recent but here is diff from master file to gh-pages file:
I'd assume the version on gh-pages is updated because it's the official extension but not completely sure.