The documentation on 'master' has not been merged to 'stable' when rock1408 got released. Which means that the website is horribly outdated. I checked it out, and I did not see anything on master that does not apply to the current stable ... OK to merge ?
Sylvain _______________________________________________ Rock-dev mailing list [email protected] http://www.dfki.de/mailman/cgi-bin/listinfo/rock-dev
