Skip to content

Remove unused files#13833

Merged
ggazzo merged 2 commits intodevelopfrom
chore/remove-unused
Mar 21, 2019
Merged

Remove unused files#13833
ggazzo merged 2 commits intodevelopfrom
chore/remove-unused

Conversation

@tassoevan
Copy link
Contributor

No description provided.

@ggazzo ggazzo merged commit 2f01d04 into develop Mar 21, 2019
@ggazzo ggazzo deleted the chore/remove-unused branch March 21, 2019 20:19
@rodrigok rodrigok mentioned this pull request Apr 28, 2019
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.

4 participants

Comments