Remove unneeded files

Authored by mreeves on Nov 1 2019, 9:19 PM.