Skip to content

CoC (prior config)#18

Open
NullVoxPopuli wants to merge 1 commit intomainfrom
coc
Open

CoC (prior config)#18
NullVoxPopuli wants to merge 1 commit intomainfrom
coc

Conversation

@NullVoxPopuli
Copy link
Owner

This PR is opened for posterity, in that I used and promoted COC for a long time.
I also maintain two CoC plugins, so it's somewhat important I have an easy way to switch back when I need to debug those.

This reverts commit 72ae82f, reversing
changes made to d8880d6.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant