8567: Add docker19 migration instructions to install guide.
[arvados.git] / docker / migrate-docker19 / Dockerfile
2017-03-14 Peter Amstutz8567: Rename docker19-migrate to migrate-docker19 for...