8567: Rename docker19-migrate to migrate-docker19 for consistency with
[arvados.git] / docker / docker19-migrate / build.sh
2017-03-14 Peter Amstutz8567: Rename docker19-migrate to migrate-docker19 for...
2017-03-14 Peter Amstutz8567: Move out of tools/ into sdk/python and docker...