Skip to content

Conversation

@mattn
Copy link
Member

close#46, #47

@originalsouthoriginalsouth mentioned this pull request Jun 7, 2017
@mattnmattn merged commit 20fe73c into masterJun 13, 2017
@mattnmattn mentioned this pull request Jun 13, 2017
Closed
@mattn
Copy link
MemberAuthor

Sign up for freeto 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.

Wrong coloring in hi Float

2 participants

@mattn