fix docker file name

This commit is contained in:
jem 2020-11-12 16:53:34 +01:00
parent 154be23358
commit 75d4186501