tcl/target/stm32f4x: fix name
[fw/openocd] / tcl / board / atmel_sam4e_ek.cfg
2014-06-18 Marco Cruztcl/board: add Atmel SAM4E-EK