Skip to content

force download of RDF files#995

Merged
joaquinvanschoren merged 1 commit intodevelopfrom
joaquinvanschoren-patch-5
Sep 12, 2019
Merged

force download of RDF files#995
joaquinvanschoren merged 1 commit intodevelopfrom
joaquinvanschoren-patch-5

Conversation

@joaquinvanschoren
Copy link
Contributor

No description provided.

Copy link
Member

@janvanrijn janvanrijn left a comment

Choose a reason for hiding this comment

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

Can you merge this into develop branch instead?

@joaquinvanschoren joaquinvanschoren changed the base branch from master to develop September 12, 2019 09:40
@joaquinvanschoren joaquinvanschoren merged commit 8ddeda7 into develop Sep 12, 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.

2 participants