tcl/psoc4: remove "ocd_" prefixed commands
[fw/openocd] / tcl / target / max32620.cfg
2018-08-21 Kevin Gillespiemax32xxx: Support for MAX32XXX devices.