diff options
| author | Joel Challis | 2023-05-09 02:05:29 +0200 |
|---|---|---|
| committer | GitHub | 2023-05-09 02:05:29 +0200 |
| commit | c7c510f53f4b2a591de6f3b0227c08d47014aa3b (patch) | |
| tree | 2e90aa4b696bde03afbb942d363a64b01faf6433 /data/mappings/info_config.hjson | |
| parent | 54d172830cf9f526b0d5ddce963c470d70e8fb86 (diff) | |
Specifying the default board file is redundant (#20807)
Diffstat (limited to 'data/mappings/info_config.hjson')
0 files changed, 0 insertions, 0 deletions