Rename dockerfile.

This commit is contained in:
Koen Kanters
2018-04-14 17:00:05 +02:00
parent fbb6b27b44
commit 6c8f1733d4