Pic32mx.cfg: Change system clock to 8Mhz after reset-init.
[fw/openocd] / NEWS-0.6.0
2012-09-07 Freddie ChopinRestore -dev suffix, archive NEWS file, add new blank...