Revert "git rm"

This reverts commit 292ffe5d131791d10c8f22010ae3d1a6a05f95d4.