Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Remove old things from the repo development history. The new list of names reflects current development practices and files generated by the repo.
- Loading branch information