Re-add things that were accidentally removed #7

Merged
aaronfranke merged 1 commits from things into master 2021-05-21 15:51:45 +02:00
aaronfranke commented 2021-05-21 14:49:24 +02:00 (Migrated from github.com)

It seems that you recently force-pushed and deleted some things. This PR adds them back (and does a few minor things).

After merging, you can run git fetch and then git reset --hard to the commit hash of the merge commit to get your local version updated with everything from here.

It seems that you recently force-pushed and deleted some things. This PR adds them back (and does a few minor things). After merging, you can run `git fetch` and then `git reset --hard` to the commit hash of the merge commit to get your local version updated with everything from here.
issork commented 2021-05-21 15:51:49 +02:00 (Migrated from github.com)

Thanks!

Thanks!
Sign in to join this conversation.
No description provided.