tcl/boards: Rename 'dk-tm4c129.cfg' to 'ti_dk-tm4c129.cfg'
[fw/openocd] / tcl / board / lpc1850_spifi_generic.cfg
2012-11-06 Gianluca RenziGeneric LPC1850 board w/ SPIFI flash.