Skip to content

Conversation

@jcb91
Copy link
Member

@jcb91 jcb91 commented Jan 21, 2018

as discussed in #1202 (comment)

@jcb91
Copy link
Member Author

jcb91 commented Jan 21, 2018

actually, it might make more sense to open this PR in the upstream, then merge that back here...

@jfbercher
Copy link
Member

Checked the code: very nice 👍

@jcb91
Copy link
Member Author

jcb91 commented Jan 21, 2018

closing this in favour of jfbercher/code_prettify#10, will pull that in later

@jcb91 jcb91 closed this Jan 21, 2018
@jcb91
Copy link
Member Author

jcb91 commented Jan 21, 2018

@jfbercher thanks 😄

@jcb91 jcb91 deleted the prettify branch January 24, 2018 11:18
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.

2 participants