Skip to content
This repository has been archived by the owner on Oct 9, 2019. It is now read-only.

remove deprecated file #73

Merged
merged 1 commit into from
May 8, 2019
Merged

remove deprecated file #73

merged 1 commit into from
May 8, 2019

Conversation

YueErro
Copy link
Contributor

@YueErro YueErro commented May 8, 2019

No description provided.

@rkojcev rkojcev requested review from ahcorde, LanderU and rkojcev May 8, 2019 08:16
@LanderU
Copy link
Contributor

LanderU commented May 8, 2019

Let's wait for CI.

Copy link
Contributor

@LanderU LanderU left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM!

@LanderU LanderU merged commit 0ebb3a6 into master May 8, 2019
@LanderU LanderU deleted the remove branch May 8, 2019 08:29
# for free to subscribe to this conversation on GitHub. Already have an account? #.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants