rework mini.config for rpi3
[openadk.git] / package / gdb / 
tree9b0913e0e47e75faed8d7130710f278ca2d18d99
drwxr-xr-x   ..
-rw-r--r-- 1494 Makefile
drwxr-xr-x - patches
drwxr-xr-x - src