Wed, 16 Nov 2011 12:50:16 +0100Xenomai build now ignores xeno-config if not set
Edouard Tisserant [Wed, 16 Nov 2011 12:50:16 +0100] rev 633
Xenomai build now ignores xeno-config if not set

Tue, 08 Nov 2011 22:39:44 +0100Merging with Edouard's modifications
laurent [Tue, 08 Nov 2011 22:39:44 +0100] rev 632
Merging with Edouard's modifications