Peter Stuge 064475459b docs: Fix incorrect -rtos option values ... Commit 9ca1592cb9 started on documentation for the -rtos option, but some of the documented values were incorrect so we'll clean up the mess here. Many thanks to Freddie Chopin for spotting this! Change-Id: Iaa633bd40ff5f75dd6a69e74e79dafc1643ee21a Signed-off-by: Peter Stuge <peter@stuge.se> Reviewed-on: http://openocd.zylin.com/642 Reviewed-by: Freddie Chopin <freddie.chopin@gmail.com> Tested-by: jenkins		2012-05-14 16:23:42 +00:00
..
manual	docs: remove unused primer ref	2012-04-04 08:51:43 +00:00
INSTALL.txt	Remove annoying end-of-line whitespace from doc/* files.	2009-09-21 18:52:45 +00:00
Makefile.am	build: add missing files to make dist	2011-06-17 12:21:01 +01:00
fdl.texi	- update openocd.texi to fdl 1.2	2008-02-29 18:10:46 +00:00
openocd.1	doc clarifications for server flags	2010-01-28 14:03:29 -08:00
openocd.texi	docs: Fix incorrect -rtos option values	2012-05-14 16:23:42 +00:00