From fb8917d2a45f04a46f4f88a315f720dd3402cdc5 Mon Sep 17 00:00:00 2001 From: Nils Dijk Date: Tue, 26 Sep 2023 11:41:43 +0000 Subject: [PATCH] remove redundant package --- .devcontainer/Dockerfile | 1 - 1 file changed, 1 deletion(-) diff --git a/.devcontainer/Dockerfile b/.devcontainer/Dockerfile index 3ca36a055..04c5a121b 100644 --- a/.devcontainer/Dockerfile +++ b/.devcontainer/Dockerfile @@ -18,7 +18,6 @@ RUN apt update && apt install -y \ liblz4-dev \ libpam0g-dev \ libreadline-dev \ - libreadline-dev \ libselinux1-dev \ libssl-dev \ libxslt-dev \