8567: Rename docker19-migrate to migrate-docker19 for consistency with
[arvados.git] / docker / migrate-docker19 / dnd.sh
2017-03-14 Peter Amstutz8567: Rename docker19-migrate to migrate-docker19 for...