I've synchronized the package sets on github with the latest changes from gitorious. I am removing commit rights on the gitorious package sets to avoid having to re-update.
I will do a last update for the master branches of the packages (to synchronize github). Any new commit pushed right now will have to be re-pushed by someone else than me. Sylvain
_______________________________________________ Rock-dev mailing list [email protected] http://www.dfki.de/mailman/cgi-bin/listinfo/rock-dev
