The master branch of base/doc contains quite a bit of updates/fixes, in particular to the tutorials. Does anyone have a problem with me merging it into stable ?
Sylvain _______________________________________________ Rock-dev mailing list [email protected] http://www.dfki.de/mailman/cgi-bin/listinfo/rock-dev
