diff --git a/Dockerfile b/Dockerfile deleted file mode 100644 index 4cac86d9..00000000 --- a/Dockerfile +++ /dev/null @@ -1 +0,0 @@ -contrib/docker/Dockerfile diff --git a/Dockerfile b/Dockerfile new file mode 120000 index 00000000..067efa7e --- /dev/null +++ b/Dockerfile @@ -0,0 +1 @@ +contrib/docker/Dockerfile \ No newline at end of file