这是indexloc提供的服务,不要输入任何密码
Skip to content

Conversation

@Narsil
Copy link
Owner

@Narsil Narsil commented Mar 23, 2020

Fixes #15

@Narsil Narsil merged commit 89b7bbf into master Mar 23, 2020
@Narsil Narsil deleted the PR branch March 23, 2020 09:29
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.

Add Continuous integration for external PRs

2 participants