The pico name can be different in wrangler and pico-engine-ui

Picolab / pico-engine

An implementation of the pico-engine hosted on node.js

http://picolabs.io/

MIT License

43 stars 8 forks source link

Open b1conrad opened 3 years ago

b1conrad commented 3 years ago

wrangler captures the pico name during the pico creation process

subsequent changes of the name in the developer UI do not make their way into wrangler