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

..

prepare_deploy.sh

Arduino IDE library packaging modification

2020-04-27 12:35:42 -05:00