Joel Challis c7c510f53f Specifying the default board file is redundant (#20807)

2023-05-08 18:05:29 -06:00

..

eb46

…

ogr

…

ogrn

Even more info.json whitespace cleanups (#20703)

2023-05-04 19:09:59 +10:00

raine

…

vero

Specifying the default board file is redundant (#20807)

2023-05-08 18:05:29 -06:00