Merge pull request #188 from ozbenh/openocd-tweaks
authorMichael Neuling <mikey@neuling.org>
Thu, 4 Jun 2020 22:38:18 +0000 (08:38 +1000)
committerGitHub <noreply@github.com>
Thu, 4 Jun 2020 22:38:18 +0000 (08:38 +1000)
commit831ffceec7a7969ea0cfab615776ca3607f32c7c
tree12807cf7f4caedb1fe62ad2309a6f4bf990a1343
parent62233eddd7fcc9284650e201fa216fa0788d631e
parentd3c274d01ec14dc5790f47b67d3814dd17aee80f
Merge pull request #188 from ozbenh/openocd-tweaks

Openocd tweaks