Rename Dockerfile to Dockerfile.heavy

This commit is contained in:
Aryan Blaauw 2017-08-28 10:26:59 +02:00 committed by GitHub
parent c39a2b5c23
commit 72cf04fc2a