2 commits

Author	SHA1	Message	Date
Michael Schurter	d5f0a94260	vagrant: fix docker install script ... The key fingerprint doesn't seem to have changed, but something about the old key installation command failed for me and broke vagrant up.	2020-07-23 10:09:46 -07:00
Mahmood Ali	67b6758bed	Add a Docker release scripts ... Also tease out some dev and docker bits from Vagrant scripts to ease sharing with Docker script	2019-03-17 10:37:36 -04:00