Skip to content

Support for PlatformIO library manager #16

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 2 commits into from
May 10, 2019
Merged

Support for PlatformIO library manager #16

merged 2 commits into from
May 10, 2019

Conversation

sstaub
Copy link
Contributor

@sstaub sstaub commented Dec 22, 2018

This file addition includes the support for the PlatformIO library manager.
With some adaptations it can used for all the libraries.
After making the PR, the library can be registered. I can do this.
https://docs.platformio.org/en/latest/librarymanager/creating.html#register

@fpistm fpistm self-requested a review December 23, 2018 08:15
@fpistm
Copy link
Member

fpistm commented Dec 23, 2018

Thanks @sstaub

@rzr
Copy link
Contributor

rzr commented May 1, 2019

bump, I doubt this change will cause any harm ?

@sstaub
Copy link
Contributor Author

sstaub commented May 4, 2019

This PR only add's an additional file used by PIO, it has nothing to do with ethernet code.

@fpistm
Copy link
Member

fpistm commented May 10, 2019

Thanks @sstaub

@fpistm fpistm merged commit ad95c45 into stm32duino:master May 10, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants