Question: cvs, "file should be removed and is still there (or back again)"