1
0
mirror of https://github.com/RIOT-OS/RIOT.git synced 2025-01-18 12:52:44 +01:00
RIOT/dist/tools/openocd
Alexandre Abadie bd081cd980
tools/openocd: remove default OPENOCD_CONFIG value
The default value is already set in openocd.inc.mk
2020-02-24 10:04:11 +01:00
..
openocd.sh tools/openocd: remove default OPENOCD_CONFIG value 2020-02-24 10:04:11 +01:00