8000 #637, #906: Update package index on 3rd party URLs change. by kittaakos · Pull Request #1132 · arduino/arduino-ide · GitHub
[go: up one dir, main page]
Skip to content

#637, #906: Update package index on 3rd party URLs change.#1132

Merged
kittaakos merged 1 commit intomainfrom
#637-signed
Jul 8, 2022
Merged

#637, #906: Update package index on 3rd party URLs change.#1132
kittaakos merged 1 commit intomainfrom
#637-signed

Commits

Commits on Jul 7, 2022
0