> On 2 Mar 2017, at 22:14, gerrit <[email protected]> wrote:
>
> adds support to openocd
Thank you Armin!
> ... microOSplusIIIe_
The correct spelling is 'micro_os_plus', so I would suggest:
%s/microOSplusIIIe_/micro_os_plus_/g
Regards,
Liviu
------------------------------------------------------------------------------
Check out the vibrant tech community on one of the world's most
engaging tech sites, SlashDot.org! http://sdm.link/slashdot
_______________________________________________
OpenOCD-devel mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/openocd-devel
