diff options
| author | Giampiero Baggiani <giampiero7@users.noreply.github.com> | 2017-12-14 12:41:49 +0100 |
|---|---|---|
| committer | Martino Facchin <m.facchin@arduino.cc> | 2019-09-20 14:49:29 +0200 |
| commit | 2f67c916f6ab6193c404eebe22efe901e0f9542d (patch) | |
| tree | 47a361e0163be8c270af2c499f4f16d35cff71bf /extras | |
| parent | f9cadc51836f73935554bc50d491ba30c2b22b08 (diff) | |
Added SERIAL_PORT_MONITOR define to Arduino Ethernet
Port of https://github.com/arduino/Arduino/pull/7023
Diffstat (limited to 'extras')
0 files changed, 0 insertions, 0 deletions