R. Diez 42a0bf3c36 Doc fix: echo writes to the log, and not to stdout ...

Fixes bug #202

Change-Id: I855a1b8570af71379891634f405b4cc726917cb2
Signed-off-by: R. Diez <rdiezmail-openocd@yahoo.de>
Reviewed-on: http://openocd.zylin.com/6272
Tested-by: jenkins
Reviewed-by: Antonio Borneo <borneo.antonio@gmail.com>

2021-06-18 23:15:31 +01:00

453 KiB

Raw Blame History

View Raw