From: Antonio Borneo <borneo.antonio@gmail.com>
Date: Thu, 28 Mar 2019 11:15:47 +0000 (+0100)
Subject: TODO: remove references to "ocd_" prefix in documentation
X-Git-Tag: v0.11.0-rc1~673
X-Git-Url: https://review.openocd.org/gitweb?p=openocd.git;a=commitdiff_plain;h=83af3d992e45ccf011f80b7e786886784b0cf469;hp=83af3d992e45ccf011f80b7e786886784b0cf469

TODO: remove references to "ocd_" prefix in documentation

The commands prefixed with "ocd_" are removed.
No need to review the documentation.

Change-Id: Idad95e62f6c8574ff8b61930aeef04e9727fae8a
Signed-off-by: Antonio Borneo <borneo.antonio@gmail.com>
Reviewed-on: http://openocd.zylin.com/5089
Reviewed-by: Tomas Vanek <vanekt@fbl.cz>
Tested-by: jenkins
---