Code

Add JSON schema for platform.txt#139

Code

Merged

per1234 merged 3 commits intomainarduino/arduino-lint:mainfrom

per1234/platform-schemasarduino/arduino-lint:per1234/platform-schemasCopy head branch name to clipboard

Jan 7, 2021

Commits

Commits on Jan 7, 2021

• Unify properties to map conversion code

  Show description for 929a433
  per1234

  committed
  929a433

  Copy full SHA for 929a433

• Add JSON schema for platform.txt

  Show description for 84bb4ea
  per1234

  committed
  84bb4ea

  Copy full SHA for 84bb4ea

• Document support for platforms

  Show description for f4a6274
  per1234

  committed
  f4a6274

  Copy full SHA for f4a6274