Alexandre Abadie 2172074598 dist/tools/openocd: make reset before halt option in debug

2018-04-18 17:33:30 +02:00

..

openocd.sh

dist/tools/openocd: make reset before halt option in debug

2018-04-18 17:33:30 +02:00