Removing this directory from CVS to free some space on our web
file share thingy