Jerzy Grzegorek 5a57148657 fix header package name ... Signed-off-by: Jerzy Grzegorek <jerzy.grzegorek@trzebnica.net> Signed-off-by: Thomas Petazzoni <thomas.petazzoni@free-electrons.com>		2013-07-27 15:21:03 +02:00
..
Config.in	xenomai: requires thread support	2013-07-19 00:32:51 +02:00
xenomai-do-not-install-devices.patch
xenomai.mk	fix header package name	2013-07-27 15:21:03 +02:00