diff options
author | Marc Schink <openocd-dev@marcschink.de> | 2019-05-31 13:42:28 +0200 |
---|---|---|
committer | Tomas Vanek <vanekt@fbl.cz> | 2019-06-10 20:36:50 +0100 |
commit | c8184bac20e328704067efb3ab63a96c9b541b89 (patch) | |
tree | df45e5cdc285c15e272b890b70c4be018f4df39e /NEWS | |
parent | 215f14bec87293f549639e6342b6e671faa1e7d1 (diff) |
contrib/rpc_examples: Remove 'ocd_' command prefix
The prefix is not necessary anymore.
Change-Id: Ie0df06a70ff51e6719d7564396739d28618b0196
Signed-off-by: Marc Schink <openocd-dev@marcschink.de>
Reviewed-on: http://openocd.zylin.com/5190
Tested-by: jenkins
Reviewed-by: Antonio Borneo <borneo.antonio@gmail.com>
Diffstat (limited to 'NEWS')
0 files changed, 0 insertions, 0 deletions