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 /boards.txt | |
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 'boards.txt')
-rw-r--r-- | boards.txt | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1,4 +1,4 @@ -# See: http://code.google.com/p/arduino/wiki/Platforms +# See: https://arduino.github.io/arduino-cli/latest/platform-specification/ menu.cpu=Processor |