tcl/boards: Rename 'dk-tm4c129.cfg' to 'ti_dk-tm4c129.cfg'
[fw/openocd] / tcl / board / nds32_xc5.cfg
2013-06-05 Hsiangkai Wangnds32: add new target type nds32_v2, nds32_v3, nds32_v3m