Pic32mx.cfg: Change system clock to 8Mhz after reset-init.
[fw/openocd] / NEWS-0.3.0
2009-11-05 David BrownellVersion 0.4.0-dev