Skip to content

Add file downloader cache to make faster the library/boards manager#9023

Merged
facchinm merged 34 commits intoarduino:masterfrom
mattiabertorello:add-file-cache
Jul 18, 2019

Commits

Commits on Jun 28, 2019

Commits on Jun 29, 2019

Commits on Jul 2, 2019

Commits on Jul 3, 2019

Commits on Jul 4, 2019

Commits on Jul 5, 2019

Commits on Jul 7, 2019

Commits on Jul 11, 2019

Commits on Jul 12, 2019

Commits on Jul 18, 2019