tcl/boards: Rename 'dk-tm4c129.cfg' to 'ti_dk-tm4c129.cfg'
[fw/openocd] / tcl / board / minispartan6.cfg
2016-02-03 Tim 'mithro' Anselltcl: Support for the miniSpartan6+ board.