Novice user of Github

I forgot to delete the original file…