1
0
mirror of https://github.com/esp8266/Arduino.git synced 2025-07-27 18:02:17 +03:00

ci: deploy package index to esp8266.github.io (#6062)

* ci: deploy package index to esp8266.github.io

* Update deploy_package_index.sh

Fix path for git add
This commit is contained in:
Ivan Grokhotkov
2019-05-10 22:11:33 +08:00
committed by Develo
parent 0ab76fcb37
commit 5b5e56ad43
2 changed files with 17 additions and 20 deletions

Binary file not shown.