diff options
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"},  | 
