Skip to content

openocd: finer-grained error msg if board unknown#108

Merged
lschuermann merged 2 commits intotock:masterfrom wprzytula:finer-grained-unknown-board-errorMar 1, 2024
+8-7

Commits

Commits on Feb 8, 2024

Commits on Mar 1, 2024