Files
openocd/src/server
Øyvind Harboe 96a56ba086 pipes: add documentation for pipes
Stick with the name "gdb_port" even if this command
can be used for other things(disable, named pipes,
anonymous stdin/out pipe). "port" is correct for
probably more than 90% of use cases, if not more.

Signed-off-by: Øyvind Harboe <oyvind.harboe@zylin.com>
2010-10-01 10:26:10 +02:00
..
2009-12-30 11:51:29 -08:00
2010-01-19 23:30:36 -08:00
2010-01-09 00:55:41 -08:00
2009-11-24 21:37:37 -08:00
2010-10-01 10:26:08 +02:00
2010-10-01 10:26:08 +02:00
2009-11-24 21:37:29 -08:00
2010-05-05 15:24:24 +02:00