From 42c2ff915520d82bd9ad8875e734d702f35219ac Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Cezary=20Skrzy=C5=84ski?= Date: Thu, 28 Nov 2024 17:20:22 +0100 Subject: [PATCH] #349: remove dead link (Dockerfile) --- Dockerfile | 1 - 1 file changed, 1 deletion(-) delete mode 120000 Dockerfile 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