beremiz

Xenomai build now ignores xeno-config if not set

2011-11-16, Edouard Tisserant
70c84e6ff92c
Xenomai build now ignores xeno-config if not set
[Desktop Entry]
Type=Directory
Name=Doc
Icon=