Skip to content
This repository was archived by the owner on Oct 1, 2024. It is now read-only.

add ignore board #554

Merged
merged 1 commit into from
May 9, 2018
Merged

add ignore board #554

merged 1 commit into from
May 9, 2018

Conversation

Sneezry
Copy link
Member

@Sneezry Sneezry commented May 9, 2018

related issue: #495

@Sneezry Sneezry requested a review from lirenhe May 9, 2018 03:41
@Sneezry Sneezry merged commit 0695332 into master May 9, 2018
@Sneezry Sneezry deleted the zhe-work branch May 9, 2018 05:28
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants