Wed, 16 Nov 2011 12:50:16 +0100 | Edouard Tisserant | Xenomai build now ignores xeno-config if not set | changeset | files |
Tue, 08 Nov 2011 22:39:44 +0100 | laurent | Merging with Edouard's modifications | changeset | files |
Tue, 08 Nov 2011 22:04:07 +0100 | laurent | Fixing bug in project modified state not well reported when modifications made in plugins informations | changeset | files |