deleted obsolete stuff.
[openocd.git] / contrib / 
treebf08c46d4b5d01bd37aa1a58c5f12f719f134dbf
drwxr-xr-x   ..
drwxr-xr-x - libdcc