Skip to content
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

@mkacct

Description

@mkacct

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:
the picture
I'd assume the version on gh-pages is updated because it's the official extension but not completely sure.

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

    Milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions