From 86ec13eb21df0f151adeaadaadd5f0951904d796 Mon Sep 17 00:00:00 2001 From: Tomas Sebestik Date: Wed, 13 Apr 2022 13:51:22 +0200 Subject: [PATCH] Revert latest git --- tools/docker/Dockerfile | 3 --- 1 file changed, 3 deletions(-) diff --git a/tools/docker/Dockerfile b/tools/docker/Dockerfile index 5da04d881f..5cf2ff4ecc 100644 --- a/tools/docker/Dockerfile +++ b/tools/docker/Dockerfile @@ -4,9 +4,6 @@ ARG DEBIAN_FRONTEND=noninteractive # We need libpython2.7 due to GDB tools RUN : \ - && apt-get update \ - && apt-get install -y software-properties-common \ - && add-apt-repository -y ppa:git-core/ppa \ && apt-get update \ && apt-get install -y \ apt-utils \