[Rock-dev] Github migration - almost there

[Sylvain Joyeux]

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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.dfki.de/pipermail/rock-dev/attachments/20140703/de1157bf/attachment.htm