mirror of
https://github.com/arduino/Arduino.git
synced 2025-02-26 20:54:22 +01:00
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)