Revert "Delete redundant files from repo"

This reverts commit b5865192d2ef3d15fb8d79d9d3ca762246269a49.