Skip to content

[nightly] use custom rosdistro_index_url#71

Merged
ruffsl merged 1 commit intomasterfrom
rosdistro_index_url
Aug 9, 2019
Merged

[nightly] use custom rosdistro_index_url#71
ruffsl merged 1 commit intomasterfrom
rosdistro_index_url

Conversation

@mikaelarguedas
Copy link
Contributor

More details at osrf/docker_images#307

Signed-off-by: Mikael Arguedas mikael.arguedas@gmail.com

Signed-off-by: Mikael Arguedas <mikael.arguedas@gmail.com>
@ruffsl ruffsl merged commit 4984658 into master Aug 9, 2019
@ruffsl ruffsl deleted the rosdistro_index_url branch August 9, 2019 23:49
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