Rename devel/docker.com to docker.com.

This commit is contained in:
Jeff Lance 2020-04-19 16:25:20 +02:00
parent 4e48f381da
commit 4c13b15339