Jerzy Grzegorek e0d9d33cc2 fix white spaces ... Signed-off-by: Jerzy Grzegorek <jerzy.grzegorek@trzebnica.net> Signed-off-by: Peter Korsgaard <jacmet@sunsite.dk>		2013-07-20 21:13:57 +02:00
..
Config.ext.in	xenomai: requires thread support	2013-07-19 00:32:51 +02:00
Config.in	linux: bump 3.10.x stable version	2013-07-14 21:02:29 +02:00
linux-ext-rtai.mk	Normalize separator size to 80 in remaining makefiles	2013-06-20 17:32:07 +02:00
linux-ext-xenomai.mk	Normalize separator size to 80 in remaining makefiles	2013-06-20 17:32:07 +02:00
linux.mk	fix white spaces	2013-07-20 21:13:57 +02:00