1
0
mirror of https://github.com/arduino/Arduino.git synced 2025-02-14 08:54:26 +01:00
Cristian Maglie f6ca1f7b16 Library manager through arduino-cli (WIP, part 1)
- library index is now fetched arduino-cli
- ContributedLibraries and derivatives classes have been adapted
  to arduino-cli structure
- install/update/remove are temporary disabled
- library index updated is now done trough arduino-cli
- added progress wrapper

Next steps:

- detect installed libraries using arduino-cli
- implement install/update/remove using arduino-cli
2020-07-24 12:37:53 +02:00
..
2012-10-17 15:25:29 +02:00
2012-10-17 15:25:29 +02:00