gdb_server: do not copy feature names for tdesc generation
[openocd.git] / tools / scripts / 
tree3de565dc9a794e12a7331ef80838eb622f122482
drwxr-xr-x   ..
-rwxr-xr-x 90560 checkpatch.pl