diff options
| author | Antonio Borneo <borneo.antonio@gmail.com> | 2019-03-28 11:58:10 +0100 |
|---|---|---|
| committer | Tomas Vanek <vanekt@fbl.cz> | 2019-05-14 19:39:02 +0100 |
| commit | 9eea9cce3f0931d9ecf3977211bd0f189be57c52 (patch) | |
| tree | 9bf37640659c29bcf719a5b85f6c57a0f81176ad /doc | |
| parent | 6da0512092d03bb9ea08df0cafd5d3fbaef432d2 (diff) | |
helper/command: remove search for "ocd_" prefix
We do not register commands with special "ocd_" prefix anymore.
Change-Id: I588816eb22c2435a97be5fbfa87ee5584274b02f
Signed-off-by: Antonio Borneo <borneo.antonio@gmail.com>
Reviewed-on: http://openocd.zylin.com/5087
Tested-by: jenkins
Reviewed-by: Tomas Vanek <vanekt@fbl.cz>
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions