semihosting: add custom user command handler
[openocd.git] / doc / 
treeced34bef9019721b5c6aa89709b59623cf5307b2
drwxr-xr-x   ..
-rw-r--r-- 94 .gitattributes
-rw-r--r-- 206 Makefile.am
-rw-r--r-- 21033 fdl.texi
drwxr-xr-x - manual
-rw-r--r-- 3237 openocd.1
-rw-r--r-- 496235 openocd.texi