tcl: board: mini2440: fix to work with the current version
[fw/openocd] / tcl / target / marvell /
drwxr-xr-x   ..
-rw-r--r-- 122 88f3710.cfg
-rw-r--r-- 122 88f3720.cfg
-rw-r--r-- 2064 88f37x0.cfg