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 /extras | |
parent | 464bfc4bd0fa9be4013d8970aa7bcdbceadbdc19 (diff) | |
parent | 95867b5ed1da4773a87bcca08bad05f9d893a51c (diff) |
Merge pull request #286 from arduino/remove-genuino
Remove Genuino Occurrences
Diffstat (limited to 'extras')
-rw-r--r-- | extras/package_index.json.Hourly.template | 6 | ||||
-rw-r--r-- | extras/package_index.json.PR.template | 6 |
2 files changed, 6 insertions, 6 deletions
diff --git a/extras/package_index.json.Hourly.template b/extras/package_index.json.Hourly.template index 49c71dd..85c3665 100644 --- a/extras/package_index.json.Hourly.template +++ b/extras/package_index.json.Hourly.template @@ -20,15 +20,15 @@ "size": "%%SIZE%%", "boards": [ {"name": "Arduino Yún"}, - {"name": "Arduino/Genuino Uno"}, + {"name": "Arduino Uno"}, {"name": "Arduino Uno WiFi"}, {"name": "Arduino Diecimila"}, {"name": "Arduino Nano"}, - {"name": "Arduino/Genuino Mega"}, + {"name": "Arduino Mega"}, {"name": "Arduino MegaADK"}, {"name": "Arduino Leonardo"}, {"name": "Arduino Leonardo Ethernet"}, - {"name": "Arduino/Genuino Micro"}, + {"name": "Arduino Micro"}, {"name": "Arduino Esplora"}, {"name": "Arduino Mini"}, {"name": "Arduino Ethernet"}, diff --git a/extras/package_index.json.PR.template b/extras/package_index.json.PR.template index 17cfa50..f1d21f3 100644 --- a/extras/package_index.json.PR.template +++ b/extras/package_index.json.PR.template @@ -20,15 +20,15 @@ "size": "%%SIZE%%", "boards": [ {"name": "Arduino Yún"}, - {"name": "Arduino/Genuino Uno"}, + {"name": "Arduino Uno"}, {"name": "Arduino Uno WiFi"}, {"name": "Arduino Diecimila"}, {"name": "Arduino Nano"}, - {"name": "Arduino/Genuino Mega"}, + {"name": "Arduino Mega"}, {"name": "Arduino MegaADK"}, {"name": "Arduino Leonardo"}, {"name": "Arduino Leonardo Ethernet"}, - {"name": "Arduino/Genuino Micro"}, + {"name": "Arduino Micro"}, {"name": "Arduino Esplora"}, {"name": "Arduino Mini"}, {"name": "Arduino Ethernet"}, |