tcl/boards: Rename 'dk-tm4c129.cfg' to 'ti_dk-tm4c129.cfg'
[fw/openocd] / tcl / board / steval-idb011v1.cfg
2020-03-07 luca vincibluenrg-x: added support for BlueNRG-LP device