on develop help sign in
Merge pull request #21 from maralorn/patch-platform

Remove patch-platform

commit45d804bbefd7f867bbf31a4ac48797978d78f127 authorElliot Cameron <3noch@users.noreply.github.com> dateMon 22 Jun 2020, 10:22 (6 years ago) parentf1ca5aecd32efc
1 file changed+1−1
CONTRIBUTING.md+1−1
CONTRIBUTING.md+1−1
@@ -16,7 +16,7 @@ Before opening an issue, please check whether your issue has already been report
1616* Describe the issue you're encountering or the suggestion you're making
1717* Include any relevant steps to reproduce or code samples you can. It's always easier for us to debug if we have something that demonstrates the error.
1818* Let us know what version of patch you were using. If you're using a github checkout, provide the git hash.
19−* Describe how you're building patch (i.e., via patch-platform, cabal install, stack, obelisk, etc.). If you're using patch-platform or obelisk, provide the git hash of your checkout.
19+* Describe how you're building patch (i.e., via reflex-platform, cabal install, stack, obelisk, etc.). If you're using reflex-platform or obelisk, provide the git hash of your checkout.
2020
2121## Submitting Changes
2222