Skip to content

Be more precise in error message about supported boards.#23

Merged
aentinger merged 1 commit intomainfrom
aentinger-patch-1
Mar 1, 2023
Merged

Be more precise in error message about supported boards.#23
aentinger merged 1 commit intomainfrom
aentinger-patch-1

Commits

Commits on Mar 1, 2023