1
0
mirror of https://github.com/RIOT-OS/RIOT.git synced 2024-12-29 04:50:03 +01:00
RIOT/dist/tools/openocd
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