Pic32mx.cfg: Change system clock to 8Mhz after reset-init.
[fw/openocd] / COPYING
2011-12-15 Dean GlazeskiUpdating FSF Address.
2006-06-02 drath- prepare OpenOCD for branching, created ./trunk/