Delete history.js~