This repository was archived by the owner on Jan 11, 2023. It is now read-only.
This repository was archived by the owner on Jan 11, 2023. It is now read-only.
Update the Remix dev command #787
Description
Which problem is this feature request solving?
The Remix dev command has changed. It's now remix dev
Describe the solution you'd like
Update the Remix dev command to remix dev
Describe alternatives you've considered
N/A
Can you submit a pull request?
Yes