diff options
| author | Joel Challis <git@zvecr.com> | 2023-05-09 01:05:29 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-05-08 18:05:29 -0600 |
| commit | c7c510f53f4b2a591de6f3b0227c08d47014aa3b (patch) | |
| tree | 2e90aa4b696bde03afbb942d363a64b01faf6433 /docs/_langs.md | |
| parent | 54d172830cf9f526b0d5ddce963c470d70e8fb86 (diff) | |
Specifying the default board file is redundant (#20807)
Diffstat (limited to 'docs/_langs.md')
0 files changed, 0 insertions, 0 deletions