debian/dirs
author Edouard Tisserant
Thu, 08 Mar 2018 14:55:01 +0100
changeset 797 12340b4ea907
parent 346 59dbdcc99264
permissions -rw-r--r--
Update timers_xeno.c to Xenomai 3 API
/usr/share/applications