Pic32mx.cfg: Change system clock to 8Mhz after reset-init.
[fw/openocd] / AUTHORS.ChangeLog
2009-07-02 zwelchAdd AUTHORS.ChangeLog file suitable to be passed to...