gdb_server: only trigger once the event gdb-detach at gdb quit
[openocd.git] / doc / 
treed780a013220e59add7afc30f13abbed102329a9b
drwxr-xr-x   ..
-rw-r--r-- 206 Makefile.am
-rw-r--r-- 21054 fdl.texi
drwxr-xr-x - manual
-rw-r--r-- 3237 openocd.1
-rw-r--r-- 402505 openocd.texi