Revert "[ merge ] patch from fischermi@t-online.de, GDB server endless loop"
[fw/stlink] / doc /
drwxr-xr-x   ..
drwxr-xr-x - tutorial