Skip to content

Conversation

@facchinm
Copy link
Member

Properly fixes #84

@arduino arduino deleted a comment from ArduinoBot Jun 11, 2019
@arduino arduino deleted a comment from ArduinoBot Jun 11, 2019
@masci masci merged commit 83f6476 into arduino:master Jun 11, 2019
per1234 added a commit that referenced this pull request Aug 9, 2021
Add JSON schemas for platform configuration files
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.

Compilation Error:

2 participants