Pic32mx.cfg: Change system clock to 8Mhz after reset-init.
[fw/openocd] / NEWS-0.5.0
2011-08-09 Jean-Christophe... Archive and recreate NEWS file.