PR #2103 Clean up ubuntu docker scripts

Clean up ubuntu docker scripts #2103

snnn merged 1 commit into master from snnn/ubuntu_docker

clean up ubuntu docker scripts

177a0990

snnn requested a review from

HectorSVC 6 years ago

snnn requested a review 6 years ago

HectorSVC approved these changes on 2019-10-14

snnn merged 5558b807 into master 6 years ago

snnn deleted the snnn/ubuntu_docker branch 6 years ago

Reviewers

HectorSVC

Assignees

No one assigned

Labels

None yet

Milestone

No milestone