8000 Don't define `ARDUINO=100` if already defined as something else by jgfoster · Pull Request #179 · Arduino-CI/arduino_ci · GitHub
[go: up one dir, main page]

Skip to content

Don't define ARDUINO=100 if already defined as something else#179

Closed
jgfoster wants to merge 3 commits intoArduino-CI:masterfrom
jgfoster:cmd_line_defines

Commits

Commits on Oct 12, 2020

0