diff options
| author | Martino Facchin <m.facchin@arduino.cc> | 2019-09-20 11:37:35 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-09-20 11:37:35 +0200 |
| commit | f9cadc51836f73935554bc50d491ba30c2b22b08 (patch) | |
| tree | a4e65f4cf6b91463612bcd40264a9ec645f7740d /platform.txt | |
| parent | 464bfc4bd0fa9be4013d8970aa7bcdbceadbdc19 (diff) | |
| parent | 95867b5ed1da4773a87bcca08bad05f9d893a51c (diff) | |
Merge pull request #286 from arduino/remove-genuino
Remove Genuino Occurrences
Diffstat (limited to 'platform.txt')
0 files changed, 0 insertions, 0 deletions