add needed stuff for raspberry pi for kodi example appliance
[openadk.git] / package / libIDL / 
treecd4e24d2c5ddab4a259a1be24bafff3b781e273e
drwxr-xr-x   ..
-rw-r--r-- 1184 Makefile
drwxr-xr-x - patches