|
From: Liviu I. <il...@li...> - 2017-03-02 20:45:32
|
> On 2 Mar 2017, at 22:14, gerrit <ge...@op...> 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 |