Most of the other files were already gone by the time I opened this PR, removed by previous commits / PRs.
This PR just removes: *.DS_Store.
@ShahimEssaid I used git rm --cached. I think that this, together w/ the .gitignore, will be enough to get rid of these files going forward. I don't care enough to remove from the .git history.
Changes
Remove files
Delete: Any file which should have never been committed, using rm --cached
Most of the other files were already gone by the time I opened this PR, removed by previous commits / PRs.
This PR just removes:
*.DS_Store.@ShahimEssaid I used
git rm --cached. I think that this, together w/ the.gitignore, will be enough to get rid of these files going forward. I don't care enough to remove from the.githistory.Changes
Remove files