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