Skip to content

fix: Fix JS playground#132

Merged
raed667 merged 1 commit intonextfrom
fix-js-playground
Apr 18, 2023
Merged

fix: Fix JS playground#132
raed667 merged 1 commit intonextfrom
fix-js-playground

Conversation

@raed667
Copy link
Collaborator

@raed667 raed667 commented Apr 18, 2023

Avoid pragma error on JS playground.

@raed667 raed667 merged commit c8c9578 into next Apr 18, 2023
@raed667 raed667 deleted the fix-js-playground branch April 18, 2023 07:39
raed667 added a commit that referenced this pull request Apr 19, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants