Restoring CVS history