debian/patches/00list
author etisserant
Tue, 19 Feb 2008 14:52:40 +0100
changeset 401 2c90876b9751
parent 346 59dbdcc99264
permissions -rw-r--r--
Fixed segfault on quit with Xenomai, due to bat parameter type in waitReceiveTaskEnd.
#01-makefile
#02-makefile_examples
#03-makefile_objdictgen