boards.txt: sort by displayed name (#7670)

Browse Source

* boards.txt: sort by displayed name

* reduce diff

* use boardlist instead of boards

...

This commit is contained in:

david gauchard

2020-10-24 20:39:37 +02:00

committed by GitHub

parent 95fb104562

commit 64def3cd8d

4 changed files with 4245 additions and 4243 deletions

Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL

Download Patch File Download Diff File Expand all files Collapse all files

8476

boards.txt

File diff suppressed because it is too large Load Diff