Nightly cores support#3449

Merged

ffissore merged 1 commit intoarduino:masterfrom

ffissore:nightly-cores

Jul 3, 2015

Commits on Jul 2, 2015

If a contribution misses its checksum, consider it a development build: force re-downloading by deleting previously downloaded files and skip checksum verification
Federico Fissore
committed