boot2docker/boot2docker-cli — pull request #307 by gmlewis (2014-11-04 19:19:08+00:00)
Title: Implement 'use' to download specific ISO.

Note that no garbage collection of old ISOs is needed because this overwrites the only saved ISO.
This addresses issue #306.