Tue, 10 Jul 2018 16:49:05 +0200 Edouard Tisserant Add module installation path to configure options stable-1.5
Sun, 08 Jul 2018 13:40:31 +0200 Edouard Tisserant Intermediate state while updating master's RTDM part to Xenomai 3 stable-1.5
Sun, 08 Jul 2018 13:33:09 +0200 Edouard Tisserant Added --with-xenomai-config to override xenomai config command, also allowing special environment variables to be passed. stable-1.5