Delete undomanager.js