Finally removed CVS repos

We finally moved all code to the new Git repos and removed the CVS repos.

Posted by Martijn Rutten 2012-08-20