Delete cvs.js~