Closed andrewschultz closed 7 years ago
Let me know if and how I bungled something, here, to get rid of the semi-duplicate files.
While I use GitHub regularly, merges with files added/deleted can be tricky & I'm not that experienced.
@martinhaye is this pull request still relevant?
We definitely want to get rid of the duplicate files. I'd say go ahead and merge this, and if that fails to resolve it, let's tackle it again.
Let me know if and how I bungled something, here, to get rid of the semi-duplicate files.
While I use GitHub regularly, merges with files added/deleted can be tricky & I'm not that experienced.