doc/manual/en/Pictures/10000201000001C40000010766961D7F.png
author |
etisserant |
|
Tue, 19 Feb 2008 14:52:40 +0100 |
changeset 401 |
2c90876b9751 |
parent 208 |
05d95c45b388
|
permissions |
-rw-r--r-- |
Fixed segfault on quit with Xenomai, due to bat parameter type in waitReceiveTaskEnd.