rework mini.config for rpi3
[openadk.git] / package / boost / 
tree7de1878a24630df5ccf4532045fc6f0d16e8288a
drwxr-xr-x   ..
-rw-r--r-- 4988 Makefile
drwxr-xr-x - patches