Update DEV.md

extensions
Volodymyr Shymanskyy 5 years ago committed by GitHub
parent 2fc537e53a
commit f44770fc6d
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

@ -85,7 +85,7 @@ ninja
## Build for microcontrollers
In `./platforms/` folder there are a bunch of projects for different targets. Some of them are using Platformio, so you can follow the regular pio build process. Others have custom instructions in respective `README.md` files.
In `./platforms/` folder you can find projects for different targets. Some of them are using Platformio, so you can follow the regular pio build process. Others have custom instructions in respective `README.md` files.
## Running WebAssembly spec tests

Loading…
Cancel
Save