diff options
| author | Luca Cipriani <luca.opensource@gmail.com> | 2019-09-19 15:45:09 +0200 |
|---|---|---|
| committer | Luca Cipriani <luca.opensource@gmail.com> | 2019-09-19 15:45:09 +0200 |
| commit | 71c366f41a8fdd851f801d604015a233367da0a0 (patch) | |
| tree | d8a8a073052d7ba8879b93e4cb42358ac0887386 /extras/package_index.json.Hourly.template | |
| parent | 464bfc4bd0fa9be4013d8970aa7bcdbceadbdc19 (diff) | |
Remove Genuino Occurrences
Diffstat (limited to 'extras/package_index.json.Hourly.template')
| -rw-r--r-- | extras/package_index.json.Hourly.template | 6 |
1 files changed, 3 insertions, 3 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"}, |