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