diff options
| author | Martino Facchin <m.facchin@arduino.cc> | 2020-11-02 16:10:08 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-11-02 16:10:08 +0100 |
| commit | 60f0d0b125e06dbf57b800192c80e5f60d681438 (patch) | |
| tree | 4fee332ca0cce3e472905233e1490900e751c6ae /cores/arduino/WInterrupts.c | |
| parent | 87236bccc731f8e81c3f1d0aa4526bb09c381f10 (diff) | |
| parent | 18a9e3da59c71c298059f8fc3b7ebfa95ff492fc (diff) | |
Merge pull request #369 from per1234/update-platform-docs-urls
Update platform specification URLs in configuration files
Diffstat (limited to 'cores/arduino/WInterrupts.c')
0 files changed, 0 insertions, 0 deletions