tcl/boards: Rename 'ek-tm4c123gxl.cfg' to 'ti_ek-tm4c123gxl.cfg'
[fw/openocd] / tcl / tools /
drwxr-xr-x   ..
-rw-r--r-- 3340 firmware-recovery.tcl
-rw-r--r-- 7408 memtest.tcl