Pic32mx.cfg: Change system clock to 8Mhz after reset-init.
[fw/openocd] / ChangeLog
1 Retired in favor of git log.