doc/manual/en/Pictures/1000020100000258000000832C6FFAB4.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.
