pic32mx: add new device ID, 17x/27x Flash support
[openocd.git] / ChangeLog
bloba8df5d0f69e71fee0d86975993ee4b2b76221aed
1 Retired in favor of git log.