changing docker file name

This commit is contained in:
Michael Gimbel 2017-02-23 20:49:45 +00:00
parent 2a8847e0fe
commit 0be33d3683