1
0
mirror of https://github.com/RIOT-OS/RIOT.git synced 2024-12-29 04:50:03 +01:00
RIOT/dist/tools/openocd
Oleg Hahm 96e6d2aee3 Merge pull request #2471 from haukepetersen/fix_openocd_shutdown
dist/openocd.sh: added shutdown to flash commands
2015-03-05 17:18:10 +01:00
..
openocd.sh Merge pull request #2471 from haukepetersen/fix_openocd_shutdown 2015-03-05 17:18:10 +01:00