3 Commits

Include renames

Author	SHA1	Message	Date
Florian	b4e65aef6f	Arduino IDE library packaging modification ... #579 Update doc to reflect necessary manual changes Implement a part of these changes to automatic script	2020-04-27 12:35:42 -05:00
1technophile	34d31600ee	Correct vuepress config error and add code auto deployment	2019-11-08 22:44:48 +01:00
Florian	c0204de40f	automate libraries deployment for arduino IDE (#488) ... make the use of arduino IDE easier by automating the libraries deposit into github releases	2019-11-08 21:35:28 +01:00