Removed last unused file from repos.