New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Replace //drake/... with //... in files under setup/docker #7653

Merged

jwnimmer-tri merged 1 commit into RobotLocomotion:master from soonho-tri:pr-fix-docker

Dec 21, 2017

Member

soonho-tri commented Dec 20, 2017 •

edited by sherm1

Loading

This change is


          Replace //drake/... with //... in files under setup/docker

3ceee62

jwnimmer-tri self-assigned this

Collaborator

jwnimmer-tri commented Dec 20, 2017

This got broken in #7575. Relates #6996.

Reviewed 3 of 3 files at r1.
Review status: all files reviewed at latest revision, all discussions resolved.

Comments from Reviewable

jwnimmer-tri mentioned this pull request

Remove Drake's non-Hub Docker instructions #7654

Closed

jwnimmer-tri merged commit cf6ac43 into RobotLocomotion:master

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet