Updates on the Arduino Web Editor

Version 4.2.0 and previous:

  • Updated help->info tab with Os, browser and boards supported
  • Libraries manager paginated
  • Improved plugin interaction (you don't need certificates installation anymore if you use Firefox or Chrome)

Plugin updated to 1.1.71