Skip to content

Conversation

@DimitarTodorov
Copy link
Contributor

No description provided.

@ghost ghost assigned DimitarTodorov Jan 30, 2019
@ghost ghost added the new PR label Jan 30, 2019
@DimitarTodorov DimitarTodorov merged commit 98ed375 into master Jan 30, 2019
@ghost ghost removed the new PR label Jan 30, 2019
@elena-p elena-p deleted the dtodorov/update-output-dir branch February 19, 2019 10:34
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.

3 participants