Closed JoeEnderman closed 1 year ago
I can't merge this Pull Request because it has conflicts and it's also trying to re-apply the changes from your last pull request (I'm not sure why git isn't automatically ignoring those, since that PR was merged).
If you're comfortable with git you can resolve the conflicts. If not, I can cherry-pick those last 3 commits into a separate Pull request and merge that.
I tried for several days to learn how to use git and I never could get it to work, so I just manually move files, and it works. So, if you want to seperate the changes out?
Merged via #68
I may have messed with your slab and stair capitalization. If you want me to change it, I can. Just tell me how you want it.