Skip to content

fixed maven repo for dev-resources#1587

Merged
rfecher merged 1 commit intolocationtech:masterfrom
rfecher:dev-resources-fix
Jun 25, 2019
Merged

fixed maven repo for dev-resources#1587
rfecher merged 1 commit intolocationtech:masterfrom
rfecher:dev-resources-fix

Conversation

@rfecher
Copy link
Copy Markdown
Contributor

@rfecher rfecher commented Jun 25, 2019

No description provided.

@rfecher rfecher merged commit 9ba4bb0 into locationtech:master Jun 25, 2019
@rfecher rfecher deleted the dev-resources-fix branch June 25, 2019 19:54
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.

1 participant