tcl/boards: Rename 'dk-tm4c129.cfg' to 'ti_dk-tm4c129.cfg'
[fw/openocd] / tcl / board / tx25_stk5.cfg
2012-04-10 Simon WidmerSupport for KaRo TX25 CPU Module on a StarterkitV base...