Pic32mx.cfg: Change system clock to 8Mhz after reset-init.
[fw/openocd] / NEWS-0.2.0
2009-12-30 Antonio Borneowhitespace cleanup, mostly for docs
2009-07-14 zwelchArchive released NEWS file: NEWS -> NEWS-0.2.0