Revert accidentally-committed files.