Thomas Petazzoni 4b78a50089 xenomai: add support to keep or remove skins ... Signed-off-by: Thomas Petazzoni <thomas.petazzoni@free-electrons.com> Signed-off-by: Peter Korsgaard <jacmet@sunsite.dk>		2011-09-18 23:00:07 +02:00
..
Config.in	xenomai: add support to keep or remove skins	2011-09-18 23:00:07 +02:00
xenomai-do-not-install-devices.patch
xenomai.mk	xenomai: add support to keep or remove skins	2011-09-18 23:00:07 +02:00