mirror of
https://github.com/arduino/Arduino.git
synced 2025-01-19 08:52:15 +01:00
d5dc479e6b
There is no reason to bundle this file. If the index file is not available an empty index is returned by the parser. Fix #5143 (together with e80c08: Use a specific hardware/package_index_bundled.json)