Fix boards.txt filename

This commit is contained in:
Spacehuhn 2022-11-16 15:52:07 +01:00
parent f27ca20332
commit a009f4792a
1 changed files with 0 additions and 0 deletions