Editor devtools addon: don't run if new extension is enabled (#1407) · ScratchAddons/ScratchAddons@5c84e4b · GitHub
Skip to content

Commit 5c84e4b

Browse files
Editor devtools addon: don't run if new extension is enabled (#1407)
* Editor devtools addon: don't run if new extension is enabled * style: format code Co-authored-by: WorldLanguages <WorldLanguages@users.noreply.github.com>
1 parent 88270f0 commit 5c84e4b

1 file changed

Lines changed: 5 additions & 3 deletions

File tree

‎addons/editor-devtools/userscript.js‎

Lines changed: 5 additions & 3 deletions

0 commit comments

Comments
 (0)