arduino / Arduino

Arduino IDE 1.x
https://www.arduino.cc/en/software
Other
14.14k stars 7.01k forks source link

Update some libraries name #7094

Closed fpistm closed 6 years ago

fpistm commented 6 years ago

Hi, Following this PR #6752, all libraries from STM32duino GitHub organization are prefixed with "STM32duino" in the library.properties name field.

Those following libraries have been added before this naming "guideline":

So displayed name in the Arduino Library Manager is not aligned with library.property name field. Moreover, when one of those libraries is installed it appears twice in the list (one without the prefix and one with it).

Thanks in advance

cmaglie commented 6 years ago

I've changed the library names, the indexer should publish the result in a couple of minutes.

Should I do the same for: https://github.com/stm32duino/LwIP.git

?

fpistm commented 6 years ago

Thanks Cristian. Yes you can. I forgot it.