Skip to content

Conversation

@catarak
Copy link
Member

@catarak catarak commented Feb 12, 2021

Fixes #1522

I have verified that this pull request:

  • has no linting errors (npm run lint)
  • is from a uniquely-named feature branch and has been rebased on top of the latest develop branch. (If I was asked to make more changes, I have made sure to rebase onto develop then too)
  • is descriptively named and links to an issue number, i.e. Fixes #123

Made this because I couldn't push updates to #1610!

@catarak catarak mentioned this pull request Feb 12, 2021
3 tasks
@release-com
Copy link

release-com bot commented Feb 12, 2021

Release Environments

p5.js-web-editor
app-teda289-p5-js-web-editor.releaseapp.io

@catarak catarak merged commit b51ba27 into develop Mar 2, 2021
@catarak catarak deleted the chore/emmet-integration branch March 2, 2021 22:24
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.

Add Emmet integration

3 participants