fix broken link #10

Merged
merged 1 commit into from Jan 16, 2017

Conversation

Projects
None yet
2 participants
@zicai
Contributor

zicai commented Jan 16, 2017

No description provided.

@cure53

This comment has been minimized.

Show comment
Hide comment
@cure53

cure53 Jan 16, 2017

Owner

Ah, thanks a bunch! I will deploy the new JSON right after the merge.

Owner

cure53 commented Jan 16, 2017

Ah, thanks a bunch! I will deploy the new JSON right after the merge.

@cure53 cure53 merged commit 248e86d into cure53:master Jan 16, 2017

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment