Rewrite Toit marketplace extension.

toitware / ide-tools

Tools for working with Toit in different IDEs

MIT License

2 stars 2 forks source link

Closed floitsch closed 2 years ago

floitsch commented 2 years ago

Deemphasize Toit.io and provide a bit more information for the Jaguar extension.