Jeff Grafton 6b20f50142 Don't delete docker image if building a release

2017-06-12 12:06:22 -07:00

..

release.sh

Don't delete docker image if building a release

2017-06-12 12:06:22 -07:00