This repository was archived by the owner on Oct 22, 2021. It is now read-only.

Pull requests: arduino/arduino-pro-ide

Pull requests list

#362 by per1234 was merged Sep 24, 2020

ProTip! Type g p on any issue or pull request to go back to the pull request listing page.