fix cc32xx related changes
[fw/openocd] / tcl / board / ti_cc3200_launchxl.cfg
2018-12-12 Jiri Kastnerfix cc32xx related changes