diff --git a/Dockerfile b/Dockerfile deleted file mode 120000 index 82a5b091..00000000 --- a/Dockerfile +++ /dev/null @@ -1 +0,0 @@ -ci/docker/ubuntu-18.04-gnu-cpp.dockerfile \ No newline at end of file